TSTP Solution File: NLP116+1 by Otter---3.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Otter---3.3
% Problem : NLP116+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : otter-tptp-script %s
% Computer : n028.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Wed Jul 27 13:06:50 EDT 2022
% Result : Timeout 299.85s 300.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : NLP116+1 : TPTP v8.1.0. Released v2.4.0.
% 0.06/0.12 % Command : otter-tptp-script %s
% 0.12/0.33 % Computer : n028.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Wed Jul 27 08:52:49 EDT 2022
% 0.12/0.33 % CPUTime :
% 1.71/1.94 ----- Otter 3.3f, August 2004 -----
% 1.71/1.94 The process was started by sandbox2 on n028.cluster.edu,
% 1.71/1.94 Wed Jul 27 08:52:49 2022
% 1.71/1.94 The command was "./otter". The process ID is 13245.
% 1.71/1.94
% 1.71/1.94 set(prolog_style_variables).
% 1.71/1.94 set(auto).
% 1.71/1.94 dependent: set(auto1).
% 1.71/1.94 dependent: set(process_input).
% 1.71/1.94 dependent: clear(print_kept).
% 1.71/1.94 dependent: clear(print_new_demod).
% 1.71/1.94 dependent: clear(print_back_demod).
% 1.71/1.94 dependent: clear(print_back_sub).
% 1.71/1.94 dependent: set(control_memory).
% 1.71/1.94 dependent: assign(max_mem, 12000).
% 1.71/1.94 dependent: assign(pick_given_ratio, 4).
% 1.71/1.94 dependent: assign(stats_level, 1).
% 1.71/1.94 dependent: assign(max_seconds, 10800).
% 1.71/1.94 clear(print_given).
% 1.71/1.94
% 1.71/1.94 formula_list(usable).
% 1.71/1.94 -(-(-(((exists U (actual_world(U)& (exists V W X Y (street(U,V)&lonely(U,V)&of(U,W,X)&city(U,X)&hollywood_placename(U,W)&placename(U,W)&chevy(U,X)&white(U,X)&dirty(U,X)&old(U,X)&event(U,Y)&agent(U,Y,X)&present(U,Y)&barrel(U,Y)&down(U,Y,V)&in(U,Y,X)))))-> (exists Z (actual_world(Z)& (exists X1 X2 X3 X4 (of(Z,X1,X2)&city(Z,X2)&hollywood_placename(Z,X1)&placename(Z,X1)&street(Z,X2)&lonely(Z,X2)&chevy(Z,X3)&white(Z,X3)&dirty(Z,X3)&old(Z,X3)&event(Z,X4)&agent(Z,X4,X3)&present(Z,X4)&barrel(Z,X4)&down(Z,X4,X2)&in(Z,X4,X2))))))& ((exists Z (actual_world(Z)& (exists X1 X2 X3 X4 (of(Z,X1,X2)&city(Z,X2)&hollywood_placename(Z,X1)&placename(Z,X1)&street(Z,X2)&lonely(Z,X2)&chevy(Z,X3)&white(Z,X3)&dirty(Z,X3)&old(Z,X3)&event(Z,X4)&agent(Z,X4,X3)&present(Z,X4)&barrel(Z,X4)&down(Z,X4,X2)&in(Z,X4,X2)))))-> (exists U (actual_world(U)& (exists V W X Y (street(U,V)&lonely(U,V)&of(U,W,X)&city(U,X)&hollywood_placename(U,W)&placename(U,W)&chevy(U,X)&white(U,X)&dirty(U,X)&old(U,X)&event(U,Y)&agent(U,Y,X)&present(U,Y)&barrel(U,Y)&down(U,Y,V)&in(U,Y,X))))))))).
% 1.71/1.94 end_of_list.
% 1.71/1.94
% 1.71/1.94 -------> usable clausifies to:
% 1.71/1.94
% 1.71/1.94 list(usable).
% 1.71/1.94 0 [] actual_world($c5)|actual_world($c10).
% 1.71/1.94 0 [] actual_world($c5)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] actual_world($c5)|city($c10,$c8).
% 1.71/1.94 0 [] actual_world($c5)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] actual_world($c5)|placename($c10,$c9).
% 1.71/1.94 0 [] actual_world($c5)|street($c10,$c8).
% 1.71/1.94 0 [] actual_world($c5)|lonely($c10,$c8).
% 1.71/1.94 0 [] actual_world($c5)|chevy($c10,$c7).
% 1.71/1.94 0 [] actual_world($c5)|white($c10,$c7).
% 1.71/1.94 0 [] actual_world($c5)|dirty($c10,$c7).
% 1.71/1.94 0 [] actual_world($c5)|old($c10,$c7).
% 1.71/1.94 0 [] actual_world($c5)|event($c10,$c6).
% 1.71/1.94 0 [] actual_world($c5)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] actual_world($c5)|present($c10,$c6).
% 1.71/1.94 0 [] actual_world($c5)|barrel($c10,$c6).
% 1.71/1.94 0 [] actual_world($c5)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] actual_world($c5)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] actual_world($c5)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.94 0 [] street($c5,$c4)|actual_world($c10).
% 1.71/1.94 0 [] street($c5,$c4)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] street($c5,$c4)|city($c10,$c8).
% 1.71/1.94 0 [] street($c5,$c4)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] street($c5,$c4)|placename($c10,$c9).
% 1.71/1.94 0 [] street($c5,$c4)|street($c10,$c8).
% 1.71/1.94 0 [] street($c5,$c4)|lonely($c10,$c8).
% 1.71/1.94 0 [] street($c5,$c4)|chevy($c10,$c7).
% 1.71/1.94 0 [] street($c5,$c4)|white($c10,$c7).
% 1.71/1.94 0 [] street($c5,$c4)|dirty($c10,$c7).
% 1.71/1.94 0 [] street($c5,$c4)|old($c10,$c7).
% 1.71/1.94 0 [] street($c5,$c4)|event($c10,$c6).
% 1.71/1.94 0 [] street($c5,$c4)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] street($c5,$c4)|present($c10,$c6).
% 1.71/1.94 0 [] street($c5,$c4)|barrel($c10,$c6).
% 1.71/1.94 0 [] street($c5,$c4)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] street($c5,$c4)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] street($c5,$c4)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.94 0 [] lonely($c5,$c4)|actual_world($c10).
% 1.71/1.94 0 [] lonely($c5,$c4)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] lonely($c5,$c4)|city($c10,$c8).
% 1.71/1.94 0 [] lonely($c5,$c4)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] lonely($c5,$c4)|placename($c10,$c9).
% 1.71/1.94 0 [] lonely($c5,$c4)|street($c10,$c8).
% 1.71/1.94 0 [] lonely($c5,$c4)|lonely($c10,$c8).
% 1.71/1.94 0 [] lonely($c5,$c4)|chevy($c10,$c7).
% 1.71/1.94 0 [] lonely($c5,$c4)|white($c10,$c7).
% 1.71/1.94 0 [] lonely($c5,$c4)|dirty($c10,$c7).
% 1.71/1.94 0 [] lonely($c5,$c4)|old($c10,$c7).
% 1.71/1.94 0 [] lonely($c5,$c4)|event($c10,$c6).
% 1.71/1.94 0 [] lonely($c5,$c4)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] lonely($c5,$c4)|present($c10,$c6).
% 1.71/1.94 0 [] lonely($c5,$c4)|barrel($c10,$c6).
% 1.71/1.94 0 [] lonely($c5,$c4)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] lonely($c5,$c4)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] lonely($c5,$c4)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|actual_world($c10).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|city($c10,$c8).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|placename($c10,$c9).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|street($c10,$c8).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|lonely($c10,$c8).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|chevy($c10,$c7).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|white($c10,$c7).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|dirty($c10,$c7).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|old($c10,$c7).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|event($c10,$c6).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|present($c10,$c6).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|barrel($c10,$c6).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] of($c5,$c3,$c2)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] of($c5,$c3,$c2)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.94 0 [] city($c5,$c2)|actual_world($c10).
% 1.71/1.94 0 [] city($c5,$c2)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] city($c5,$c2)|city($c10,$c8).
% 1.71/1.94 0 [] city($c5,$c2)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] city($c5,$c2)|placename($c10,$c9).
% 1.71/1.94 0 [] city($c5,$c2)|street($c10,$c8).
% 1.71/1.94 0 [] city($c5,$c2)|lonely($c10,$c8).
% 1.71/1.94 0 [] city($c5,$c2)|chevy($c10,$c7).
% 1.71/1.94 0 [] city($c5,$c2)|white($c10,$c7).
% 1.71/1.94 0 [] city($c5,$c2)|dirty($c10,$c7).
% 1.71/1.94 0 [] city($c5,$c2)|old($c10,$c7).
% 1.71/1.94 0 [] city($c5,$c2)|event($c10,$c6).
% 1.71/1.94 0 [] city($c5,$c2)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] city($c5,$c2)|present($c10,$c6).
% 1.71/1.94 0 [] city($c5,$c2)|barrel($c10,$c6).
% 1.71/1.94 0 [] city($c5,$c2)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] city($c5,$c2)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] city($c5,$c2)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|actual_world($c10).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|city($c10,$c8).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|placename($c10,$c9).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|street($c10,$c8).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|lonely($c10,$c8).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|chevy($c10,$c7).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|white($c10,$c7).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|dirty($c10,$c7).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|old($c10,$c7).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|event($c10,$c6).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|present($c10,$c6).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|barrel($c10,$c6).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] hollywood_placename($c5,$c3)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.94 0 [] placename($c5,$c3)|actual_world($c10).
% 1.71/1.94 0 [] placename($c5,$c3)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] placename($c5,$c3)|city($c10,$c8).
% 1.71/1.94 0 [] placename($c5,$c3)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] placename($c5,$c3)|placename($c10,$c9).
% 1.71/1.94 0 [] placename($c5,$c3)|street($c10,$c8).
% 1.71/1.94 0 [] placename($c5,$c3)|lonely($c10,$c8).
% 1.71/1.94 0 [] placename($c5,$c3)|chevy($c10,$c7).
% 1.71/1.94 0 [] placename($c5,$c3)|white($c10,$c7).
% 1.71/1.94 0 [] placename($c5,$c3)|dirty($c10,$c7).
% 1.71/1.94 0 [] placename($c5,$c3)|old($c10,$c7).
% 1.71/1.94 0 [] placename($c5,$c3)|event($c10,$c6).
% 1.71/1.94 0 [] placename($c5,$c3)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] placename($c5,$c3)|present($c10,$c6).
% 1.71/1.94 0 [] placename($c5,$c3)|barrel($c10,$c6).
% 1.71/1.94 0 [] placename($c5,$c3)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] placename($c5,$c3)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] placename($c5,$c3)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.94 0 [] chevy($c5,$c2)|actual_world($c10).
% 1.71/1.94 0 [] chevy($c5,$c2)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] chevy($c5,$c2)|city($c10,$c8).
% 1.71/1.94 0 [] chevy($c5,$c2)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] chevy($c5,$c2)|placename($c10,$c9).
% 1.71/1.94 0 [] chevy($c5,$c2)|street($c10,$c8).
% 1.71/1.94 0 [] chevy($c5,$c2)|lonely($c10,$c8).
% 1.71/1.94 0 [] chevy($c5,$c2)|chevy($c10,$c7).
% 1.71/1.94 0 [] chevy($c5,$c2)|white($c10,$c7).
% 1.71/1.94 0 [] chevy($c5,$c2)|dirty($c10,$c7).
% 1.71/1.94 0 [] chevy($c5,$c2)|old($c10,$c7).
% 1.71/1.94 0 [] chevy($c5,$c2)|event($c10,$c6).
% 1.71/1.94 0 [] chevy($c5,$c2)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] chevy($c5,$c2)|present($c10,$c6).
% 1.71/1.94 0 [] chevy($c5,$c2)|barrel($c10,$c6).
% 1.71/1.94 0 [] chevy($c5,$c2)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] chevy($c5,$c2)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] chevy($c5,$c2)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.94 0 [] white($c5,$c2)|actual_world($c10).
% 1.71/1.94 0 [] white($c5,$c2)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] white($c5,$c2)|city($c10,$c8).
% 1.71/1.94 0 [] white($c5,$c2)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] white($c5,$c2)|placename($c10,$c9).
% 1.71/1.94 0 [] white($c5,$c2)|street($c10,$c8).
% 1.71/1.94 0 [] white($c5,$c2)|lonely($c10,$c8).
% 1.71/1.94 0 [] white($c5,$c2)|chevy($c10,$c7).
% 1.71/1.94 0 [] white($c5,$c2)|white($c10,$c7).
% 1.71/1.94 0 [] white($c5,$c2)|dirty($c10,$c7).
% 1.71/1.94 0 [] white($c5,$c2)|old($c10,$c7).
% 1.71/1.94 0 [] white($c5,$c2)|event($c10,$c6).
% 1.71/1.94 0 [] white($c5,$c2)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] white($c5,$c2)|present($c10,$c6).
% 1.71/1.94 0 [] white($c5,$c2)|barrel($c10,$c6).
% 1.71/1.94 0 [] white($c5,$c2)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] white($c5,$c2)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] white($c5,$c2)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.94 0 [] dirty($c5,$c2)|actual_world($c10).
% 1.71/1.94 0 [] dirty($c5,$c2)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] dirty($c5,$c2)|city($c10,$c8).
% 1.71/1.94 0 [] dirty($c5,$c2)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] dirty($c5,$c2)|placename($c10,$c9).
% 1.71/1.94 0 [] dirty($c5,$c2)|street($c10,$c8).
% 1.71/1.94 0 [] dirty($c5,$c2)|lonely($c10,$c8).
% 1.71/1.94 0 [] dirty($c5,$c2)|chevy($c10,$c7).
% 1.71/1.94 0 [] dirty($c5,$c2)|white($c10,$c7).
% 1.71/1.94 0 [] dirty($c5,$c2)|dirty($c10,$c7).
% 1.71/1.94 0 [] dirty($c5,$c2)|old($c10,$c7).
% 1.71/1.94 0 [] dirty($c5,$c2)|event($c10,$c6).
% 1.71/1.94 0 [] dirty($c5,$c2)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] dirty($c5,$c2)|present($c10,$c6).
% 1.71/1.94 0 [] dirty($c5,$c2)|barrel($c10,$c6).
% 1.71/1.94 0 [] dirty($c5,$c2)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] dirty($c5,$c2)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] dirty($c5,$c2)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.94 0 [] old($c5,$c2)|actual_world($c10).
% 1.71/1.94 0 [] old($c5,$c2)|of($c10,$c9,$c8).
% 1.71/1.94 0 [] old($c5,$c2)|city($c10,$c8).
% 1.71/1.94 0 [] old($c5,$c2)|hollywood_placename($c10,$c9).
% 1.71/1.94 0 [] old($c5,$c2)|placename($c10,$c9).
% 1.71/1.94 0 [] old($c5,$c2)|street($c10,$c8).
% 1.71/1.94 0 [] old($c5,$c2)|lonely($c10,$c8).
% 1.71/1.94 0 [] old($c5,$c2)|chevy($c10,$c7).
% 1.71/1.94 0 [] old($c5,$c2)|white($c10,$c7).
% 1.71/1.94 0 [] old($c5,$c2)|dirty($c10,$c7).
% 1.71/1.94 0 [] old($c5,$c2)|old($c10,$c7).
% 1.71/1.94 0 [] old($c5,$c2)|event($c10,$c6).
% 1.71/1.94 0 [] old($c5,$c2)|agent($c10,$c6,$c7).
% 1.71/1.94 0 [] old($c5,$c2)|present($c10,$c6).
% 1.71/1.94 0 [] old($c5,$c2)|barrel($c10,$c6).
% 1.71/1.94 0 [] old($c5,$c2)|down($c10,$c6,$c8).
% 1.71/1.94 0 [] old($c5,$c2)|in($c10,$c6,$c8).
% 1.71/1.94 0 [] old($c5,$c2)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.95 0 [] event($c5,$c1)|actual_world($c10).
% 1.71/1.95 0 [] event($c5,$c1)|of($c10,$c9,$c8).
% 1.71/1.95 0 [] event($c5,$c1)|city($c10,$c8).
% 1.71/1.95 0 [] event($c5,$c1)|hollywood_placename($c10,$c9).
% 1.71/1.95 0 [] event($c5,$c1)|placename($c10,$c9).
% 1.71/1.95 0 [] event($c5,$c1)|street($c10,$c8).
% 1.71/1.95 0 [] event($c5,$c1)|lonely($c10,$c8).
% 1.71/1.95 0 [] event($c5,$c1)|chevy($c10,$c7).
% 1.71/1.95 0 [] event($c5,$c1)|white($c10,$c7).
% 1.71/1.95 0 [] event($c5,$c1)|dirty($c10,$c7).
% 1.71/1.95 0 [] event($c5,$c1)|old($c10,$c7).
% 1.71/1.95 0 [] event($c5,$c1)|event($c10,$c6).
% 1.71/1.95 0 [] event($c5,$c1)|agent($c10,$c6,$c7).
% 1.71/1.95 0 [] event($c5,$c1)|present($c10,$c6).
% 1.71/1.95 0 [] event($c5,$c1)|barrel($c10,$c6).
% 1.71/1.95 0 [] event($c5,$c1)|down($c10,$c6,$c8).
% 1.71/1.95 0 [] event($c5,$c1)|in($c10,$c6,$c8).
% 1.71/1.95 0 [] event($c5,$c1)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|actual_world($c10).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|of($c10,$c9,$c8).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|city($c10,$c8).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|hollywood_placename($c10,$c9).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|placename($c10,$c9).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|street($c10,$c8).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|lonely($c10,$c8).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|chevy($c10,$c7).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|white($c10,$c7).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|dirty($c10,$c7).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|old($c10,$c7).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|event($c10,$c6).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|agent($c10,$c6,$c7).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|present($c10,$c6).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|barrel($c10,$c6).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|down($c10,$c6,$c8).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)|in($c10,$c6,$c8).
% 1.71/1.95 0 [] agent($c5,$c1,$c2)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.95 0 [] present($c5,$c1)|actual_world($c10).
% 1.71/1.95 0 [] present($c5,$c1)|of($c10,$c9,$c8).
% 1.71/1.95 0 [] present($c5,$c1)|city($c10,$c8).
% 1.71/1.95 0 [] present($c5,$c1)|hollywood_placename($c10,$c9).
% 1.71/1.95 0 [] present($c5,$c1)|placename($c10,$c9).
% 1.71/1.95 0 [] present($c5,$c1)|street($c10,$c8).
% 1.71/1.95 0 [] present($c5,$c1)|lonely($c10,$c8).
% 1.71/1.95 0 [] present($c5,$c1)|chevy($c10,$c7).
% 1.71/1.95 0 [] present($c5,$c1)|white($c10,$c7).
% 1.71/1.95 0 [] present($c5,$c1)|dirty($c10,$c7).
% 1.71/1.95 0 [] present($c5,$c1)|old($c10,$c7).
% 1.71/1.95 0 [] present($c5,$c1)|event($c10,$c6).
% 1.71/1.95 0 [] present($c5,$c1)|agent($c10,$c6,$c7).
% 1.71/1.95 0 [] present($c5,$c1)|present($c10,$c6).
% 1.71/1.95 0 [] present($c5,$c1)|barrel($c10,$c6).
% 1.71/1.95 0 [] present($c5,$c1)|down($c10,$c6,$c8).
% 1.71/1.95 0 [] present($c5,$c1)|in($c10,$c6,$c8).
% 1.71/1.95 0 [] present($c5,$c1)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.95 0 [] barrel($c5,$c1)|actual_world($c10).
% 1.71/1.95 0 [] barrel($c5,$c1)|of($c10,$c9,$c8).
% 1.71/1.95 0 [] barrel($c5,$c1)|city($c10,$c8).
% 1.71/1.95 0 [] barrel($c5,$c1)|hollywood_placename($c10,$c9).
% 1.71/1.95 0 [] barrel($c5,$c1)|placename($c10,$c9).
% 1.71/1.95 0 [] barrel($c5,$c1)|street($c10,$c8).
% 1.71/1.95 0 [] barrel($c5,$c1)|lonely($c10,$c8).
% 1.71/1.95 0 [] barrel($c5,$c1)|chevy($c10,$c7).
% 1.71/1.95 0 [] barrel($c5,$c1)|white($c10,$c7).
% 1.71/1.95 0 [] barrel($c5,$c1)|dirty($c10,$c7).
% 1.71/1.95 0 [] barrel($c5,$c1)|old($c10,$c7).
% 1.71/1.95 0 [] barrel($c5,$c1)|event($c10,$c6).
% 1.71/1.95 0 [] barrel($c5,$c1)|agent($c10,$c6,$c7).
% 1.71/1.95 0 [] barrel($c5,$c1)|present($c10,$c6).
% 1.71/1.95 0 [] barrel($c5,$c1)|barrel($c10,$c6).
% 1.71/1.95 0 [] barrel($c5,$c1)|down($c10,$c6,$c8).
% 1.71/1.95 0 [] barrel($c5,$c1)|in($c10,$c6,$c8).
% 1.71/1.95 0 [] barrel($c5,$c1)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|actual_world($c10).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|of($c10,$c9,$c8).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|city($c10,$c8).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|hollywood_placename($c10,$c9).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|placename($c10,$c9).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|street($c10,$c8).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|lonely($c10,$c8).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|chevy($c10,$c7).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|white($c10,$c7).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|dirty($c10,$c7).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|old($c10,$c7).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|event($c10,$c6).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|agent($c10,$c6,$c7).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|present($c10,$c6).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|barrel($c10,$c6).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|down($c10,$c6,$c8).
% 1.71/1.95 0 [] down($c5,$c1,$c4)|in($c10,$c6,$c8).
% 1.71/1.95 0 [] down($c5,$c1,$c4)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|actual_world($c10).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|of($c10,$c9,$c8).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|city($c10,$c8).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|hollywood_placename($c10,$c9).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|placename($c10,$c9).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|street($c10,$c8).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|lonely($c10,$c8).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|chevy($c10,$c7).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|white($c10,$c7).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|dirty($c10,$c7).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|old($c10,$c7).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|event($c10,$c6).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|agent($c10,$c6,$c7).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|present($c10,$c6).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|barrel($c10,$c6).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|down($c10,$c6,$c8).
% 1.71/1.95 0 [] in($c5,$c1,$c2)|in($c10,$c6,$c8).
% 1.71/1.95 0 [] in($c5,$c1,$c2)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|actual_world($c10).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|of($c10,$c9,$c8).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|city($c10,$c8).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|hollywood_placename($c10,$c9).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|placename($c10,$c9).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|street($c10,$c8).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|lonely($c10,$c8).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|chevy($c10,$c7).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|white($c10,$c7).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|dirty($c10,$c7).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|old($c10,$c7).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|event($c10,$c6).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|agent($c10,$c6,$c7).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|present($c10,$c6).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|barrel($c10,$c6).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|down($c10,$c6,$c8).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)|in($c10,$c6,$c8).
% 1.71/1.95 0 [] -actual_world(Z)| -of(Z,X1,X2)| -city(Z,X2)| -hollywood_placename(Z,X1)| -placename(Z,X1)| -street(Z,X2)| -lonely(Z,X2)| -chevy(Z,X3)| -white(Z,X3)| -dirty(Z,X3)| -old(Z,X3)| -event(Z,X4)| -agent(Z,X4,X3)| -present(Z,X4)| -barrel(Z,X4)| -down(Z,X4,X2)| -in(Z,X4,X2)| -actual_world(U)| -street(U,V)| -lonely(U,V)| -of(U,W,X)| -city(U,X)| -hollywood_placename(U,W)| -placename(U,W)| -chevy(U,X)| -white(U,X)| -dirty(U,X)| -old(U,X)| -event(U,Y)| -agent(U,Y,X)| -present(U,Y)| -barrel(U,Y)| -down(U,Y,V)| -in(U,Y,X).
% 1.71/1.95 end_of_list.
% 1.71/1.95
% 1.71/1.95 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=34.
% 1.71/1.95
% 1.71/1.95 This is a non-Horn set without equality. The strategy will
% 1.71/1.95 be ordered hyper_res, unit deletion, and factoring, with
% 1.71/1.95 satellites in sos and with nuclei in usable.
% 1.71/1.95
% 1.71/1.95 dependent: set(hyper_res).
% 1.71/1.95 dependent: set(factor).
% 1.71/1.95 dependent: set(unit_deletion).
% 1.71/1.95
% 1.71/1.95 ------------> process usable:
% 1.71/1.95 ** KEPT (pick-wt=56): 1 [] actual_world($c5)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.71/1.95 ** KEPT (pick-wt=57): 2 [] street($c5,$c4)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.71/1.95 ** KEPT (pick-wt=57): 3 [] lonely($c5,$c4)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=58): 4 [] of($c5,$c3,$c2)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=57): 5 [] city($c5,$c2)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=57): 6 [] hollywood_placename($c5,$c3)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=57): 7 [] placename($c5,$c3)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=57): 8 [] chevy($c5,$c2)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=57): 9 [] white($c5,$c2)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=57): 10 [] dirty($c5,$c2)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=57): 11 [] old($c5,$c2)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=57): 12 [] event($c5,$c1)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=58): 13 [] agent($c5,$c1,$c2)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=57): 14 [] present($c5,$c1)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=57): 15 [] barrel($c5,$c1)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=58): 16 [] down($c5,$c1,$c4)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.78/1.95 ** KEPT (pick-wt=58): 17 [] in($c5,$c1,$c2)| -actual_world(A)| -street(A,B)| -lonely(A,B)| -of(A,C,D)| -city(A,D)| -hollywood_placename(A,C)| -placename(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,B)| -in(A,E,D).
% 1.87/2.08 ** KEPT (pick-wt=56): 18 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=58): 19 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=57): 20 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=57): 21 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=57): 22 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=57): 23 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=57): 24 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=57): 25 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=57): 26 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=57): 27 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=57): 28 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=57): 29 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=58): 30 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=57): 31 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=57): 32 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=58): 33 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=58): 34 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=108): 35 [] -actual_world(A)| -of(A,B,C)| -city(A,C)| -hollywood_placename(A,B)| -placename(A,B)| -street(A,C)| -lonely(A,C)| -chevy(A,D)| -white(A,D)| -dirty(A,D)| -old(A,D)| -event(A,E)| -agent(A,E,D)| -present(A,E)| -barrel(A,E)| -down(A,E,C)| -in(A,E,C)| -actual_world(F)| -street(F,G)| -lonely(F,G)| -of(F,H,I)| -city(F,I)| -hollywood_placename(F,H)| -placename(F,H)| -chevy(F,I)| -white(F,I)| -dirty(F,I)| -old(F,I)| -event(F,J)| -agent(F,J,I)| -present(F,J)| -barrel(F,J)| -down(F,J,G)| -in(F,J,I).
% 1.87/2.08
% 1.87/2.08 ------------> process sos:
% 1.87/2.08 ** KEPT (pick-wt=4): 48 [] actual_world($c5)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=6): 49 [] actual_world($c5)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 50 [] actual_world($c5)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 51 [] actual_world($c5)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=5): 52 [] actual_world($c5)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=5): 53 [] actual_world($c5)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 54 [] actual_world($c5)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 55 [] actual_world($c5)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=5): 56 [] actual_world($c5)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=5): 57 [] actual_world($c5)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=5): 58 [] actual_world($c5)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=5): 59 [] actual_world($c5)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 60 [] actual_world($c5)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=5): 61 [] actual_world($c5)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=5): 62 [] actual_world($c5)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 63 [] actual_world($c5)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 64 [] actual_world($c5)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 65 [] street($c5,$c4)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 66 [] street($c5,$c4)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 67 [] street($c5,$c4)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 68 [] street($c5,$c4)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 69 [] street($c5,$c4)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 70 [] street($c5,$c4)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 71 [] street($c5,$c4)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 72 [] street($c5,$c4)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 73 [] street($c5,$c4)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 74 [] street($c5,$c4)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 75 [] street($c5,$c4)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 76 [] street($c5,$c4)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 77 [] street($c5,$c4)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 78 [] street($c5,$c4)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 79 [] street($c5,$c4)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 80 [] street($c5,$c4)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 81 [] street($c5,$c4)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 82 [] lonely($c5,$c4)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 83 [] lonely($c5,$c4)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 84 [] lonely($c5,$c4)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 85 [] lonely($c5,$c4)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 86 [] lonely($c5,$c4)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 87 [] lonely($c5,$c4)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 88 [] lonely($c5,$c4)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 89 [] lonely($c5,$c4)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 90 [] lonely($c5,$c4)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 91 [] lonely($c5,$c4)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 92 [] lonely($c5,$c4)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 93 [] lonely($c5,$c4)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 94 [] lonely($c5,$c4)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 95 [] lonely($c5,$c4)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 96 [] lonely($c5,$c4)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 97 [] lonely($c5,$c4)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 98 [] lonely($c5,$c4)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 99 [] of($c5,$c3,$c2)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=8): 100 [] of($c5,$c3,$c2)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 101 [] of($c5,$c3,$c2)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 102 [] of($c5,$c3,$c2)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=7): 103 [] of($c5,$c3,$c2)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=7): 104 [] of($c5,$c3,$c2)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 105 [] of($c5,$c3,$c2)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 106 [] of($c5,$c3,$c2)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=7): 107 [] of($c5,$c3,$c2)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=7): 108 [] of($c5,$c3,$c2)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=7): 109 [] of($c5,$c3,$c2)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=7): 110 [] of($c5,$c3,$c2)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=8): 111 [] of($c5,$c3,$c2)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=7): 112 [] of($c5,$c3,$c2)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 113 [] of($c5,$c3,$c2)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=8): 114 [] of($c5,$c3,$c2)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=8): 115 [] of($c5,$c3,$c2)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 116 [] city($c5,$c2)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 117 [] city($c5,$c2)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 118 [] city($c5,$c2)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 119 [] city($c5,$c2)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 120 [] city($c5,$c2)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 121 [] city($c5,$c2)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 122 [] city($c5,$c2)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 123 [] city($c5,$c2)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 124 [] city($c5,$c2)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 125 [] city($c5,$c2)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 126 [] city($c5,$c2)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 127 [] city($c5,$c2)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 128 [] city($c5,$c2)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 129 [] city($c5,$c2)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 130 [] city($c5,$c2)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 131 [] city($c5,$c2)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 132 [] city($c5,$c2)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 133 [] hollywood_placename($c5,$c3)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 134 [] hollywood_placename($c5,$c3)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 135 [] hollywood_placename($c5,$c3)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 136 [] hollywood_placename($c5,$c3)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 137 [] hollywood_placename($c5,$c3)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 138 [] hollywood_placename($c5,$c3)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 139 [] hollywood_placename($c5,$c3)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 140 [] hollywood_placename($c5,$c3)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 141 [] hollywood_placename($c5,$c3)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 142 [] hollywood_placename($c5,$c3)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 143 [] hollywood_placename($c5,$c3)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 144 [] hollywood_placename($c5,$c3)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 145 [] hollywood_placename($c5,$c3)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 146 [] hollywood_placename($c5,$c3)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 147 [] hollywood_placename($c5,$c3)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 148 [] hollywood_placename($c5,$c3)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 149 [] hollywood_placename($c5,$c3)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 150 [] placename($c5,$c3)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 151 [] placename($c5,$c3)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 152 [] placename($c5,$c3)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 153 [] placename($c5,$c3)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 154 [] placename($c5,$c3)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 155 [] placename($c5,$c3)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 156 [] placename($c5,$c3)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 157 [] placename($c5,$c3)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 158 [] placename($c5,$c3)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 159 [] placename($c5,$c3)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 160 [] placename($c5,$c3)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 161 [] placename($c5,$c3)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 162 [] placename($c5,$c3)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 163 [] placename($c5,$c3)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 164 [] placename($c5,$c3)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 165 [] placename($c5,$c3)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 166 [] placename($c5,$c3)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 167 [] chevy($c5,$c2)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 168 [] chevy($c5,$c2)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 169 [] chevy($c5,$c2)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 170 [] chevy($c5,$c2)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 171 [] chevy($c5,$c2)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 172 [] chevy($c5,$c2)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 173 [] chevy($c5,$c2)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 174 [] chevy($c5,$c2)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 175 [] chevy($c5,$c2)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 176 [] chevy($c5,$c2)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 177 [] chevy($c5,$c2)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 178 [] chevy($c5,$c2)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 179 [] chevy($c5,$c2)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 180 [] chevy($c5,$c2)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 181 [] chevy($c5,$c2)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 182 [] chevy($c5,$c2)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 183 [] chevy($c5,$c2)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 184 [] white($c5,$c2)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 185 [] white($c5,$c2)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 186 [] white($c5,$c2)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 187 [] white($c5,$c2)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 188 [] white($c5,$c2)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 189 [] white($c5,$c2)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 190 [] white($c5,$c2)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 191 [] white($c5,$c2)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 192 [] white($c5,$c2)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 193 [] white($c5,$c2)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 194 [] white($c5,$c2)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 195 [] white($c5,$c2)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 196 [] white($c5,$c2)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 197 [] white($c5,$c2)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 198 [] white($c5,$c2)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 199 [] white($c5,$c2)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 200 [] white($c5,$c2)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 201 [] dirty($c5,$c2)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 202 [] dirty($c5,$c2)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 203 [] dirty($c5,$c2)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 204 [] dirty($c5,$c2)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 205 [] dirty($c5,$c2)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 206 [] dirty($c5,$c2)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 207 [] dirty($c5,$c2)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 208 [] dirty($c5,$c2)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 209 [] dirty($c5,$c2)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 210 [] dirty($c5,$c2)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 211 [] dirty($c5,$c2)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 212 [] dirty($c5,$c2)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 213 [] dirty($c5,$c2)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 214 [] dirty($c5,$c2)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 215 [] dirty($c5,$c2)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 216 [] dirty($c5,$c2)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 217 [] dirty($c5,$c2)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 218 [] old($c5,$c2)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 219 [] old($c5,$c2)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 220 [] old($c5,$c2)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 221 [] old($c5,$c2)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 222 [] old($c5,$c2)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 223 [] old($c5,$c2)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 224 [] old($c5,$c2)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 225 [] old($c5,$c2)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 226 [] old($c5,$c2)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 227 [] old($c5,$c2)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 228 [] old($c5,$c2)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 229 [] old($c5,$c2)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 230 [] old($c5,$c2)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 231 [] old($c5,$c2)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 232 [] old($c5,$c2)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 233 [] old($c5,$c2)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 234 [] old($c5,$c2)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 235 [] event($c5,$c1)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 236 [] event($c5,$c1)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 237 [] event($c5,$c1)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 238 [] event($c5,$c1)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 239 [] event($c5,$c1)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 240 [] event($c5,$c1)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 241 [] event($c5,$c1)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 242 [] event($c5,$c1)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 243 [] event($c5,$c1)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 244 [] event($c5,$c1)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 245 [] event($c5,$c1)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 246 [] event($c5,$c1)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 247 [] event($c5,$c1)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 248 [] event($c5,$c1)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=6): 249 [] event($c5,$c1)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 250 [] event($c5,$c1)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 251 [] event($c5,$c1)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 252 [] agent($c5,$c1,$c2)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=8): 253 [] agent($c5,$c1,$c2)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 254 [] agent($c5,$c1,$c2)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 255 [] agent($c5,$c1,$c2)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=7): 256 [] agent($c5,$c1,$c2)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=7): 257 [] agent($c5,$c1,$c2)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 258 [] agent($c5,$c1,$c2)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=7): 259 [] agent($c5,$c1,$c2)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=7): 260 [] agent($c5,$c1,$c2)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=7): 261 [] agent($c5,$c1,$c2)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=7): 262 [] agent($c5,$c1,$c2)|old($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=7): 263 [] agent($c5,$c1,$c2)|event($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=8): 264 [] agent($c5,$c1,$c2)|agent($c10,$c6,$c7).
% 1.87/2.08 ** KEPT (pick-wt=7): 265 [] agent($c5,$c1,$c2)|present($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=7): 266 [] agent($c5,$c1,$c2)|barrel($c10,$c6).
% 1.87/2.08 ** KEPT (pick-wt=8): 267 [] agent($c5,$c1,$c2)|down($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=8): 268 [] agent($c5,$c1,$c2)|in($c10,$c6,$c8).
% 1.87/2.08 ** KEPT (pick-wt=5): 269 [] present($c5,$c1)|actual_world($c10).
% 1.87/2.08 ** KEPT (pick-wt=7): 270 [] present($c5,$c1)|of($c10,$c9,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 271 [] present($c5,$c1)|city($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 272 [] present($c5,$c1)|hollywood_placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 273 [] present($c5,$c1)|placename($c10,$c9).
% 1.87/2.08 ** KEPT (pick-wt=6): 274 [] present($c5,$c1)|street($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 275 [] present($c5,$c1)|lonely($c10,$c8).
% 1.87/2.08 ** KEPT (pick-wt=6): 276 [] present($c5,$c1)|chevy($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 277 [] present($c5,$c1)|white($c10,$c7).
% 1.87/2.08 ** KEPT (pick-wt=6): 278 [] present($c5,$c1)|dirty($c10,$c7).
% 1.87/2.08 ** KEPT (pAlarm clock
% 299.85/300.03 Otter interrupted
% 299.85/300.03 PROOF NOT FOUND
%------------------------------------------------------------------------------