2023-08-08 18:56:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_0.owl
Start initial consistency check
Finished initial consistency check in 00:00:00.252
Query file: -naive/benchmarks/queries/03_right_turn.tcq
Start parsing query file
2023-08-08 18:56:58 FINE openllet.tcq.parser.TemporalConjunctiveQueryParser parse Propositional abstraction is {a=query(?x, ?l2) :- Type(?x, Vehicle) , Type(?l1, Driveable_Lane) , PropertyValue(?l1, sfIntersects, ?x) , PropertyValue(?l2, is_lane_right_of, ?l1), b=query(?x, ?l2) :- PropertyValue(?x, sfIntersects, ?l2)}
Finished parsing query file in 00:00:00.010
Query: 
-----------------------------------------------------
# Right turn

PREFIX l1c: <http://purl.org/auto/l1_core#>
PREFIX l1d: <http://purl.org/auto/l1_de#>
PREFIX l4c: <http://purl.org/auto/l4_core#>
PREFIX geo: <http://www.opengis.net/ont/geosparql#>

F (((l4c:Vehicle(?x) ^ l1c:Driveable_Lane(l1) ^ geo:sfIntersects(l1, ?x) ^ l1d:is_lane_right_of(?l2,l1)))
	&
F (geo:sfIntersects(?x, ?l2)))
-----------------------------------------------------
2023-08-08 18:56:58 FINE openllet.tcq.engine.TCQEngine execABoxQuery Starting entailment check for TCQ query(x, l2) :- F (((http://purl.org/auto/l4_core#Vehicle(?x) ^ http://purl.org/auto/l1_core#Driveable_Lane(l1) ^ http://www.opengis.net/ont/geosparql#sfIntersects(l1, ?x) ^ http://purl.org/auto/l1_de#is_lane_right_of(?l2,l1)))&F (http://www.opengis.net/ont/geosparql#sfIntersects(?x, ?l2)))
2023-08-08 18:56:58 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-5043249621476188982.dot
2023-08-08 18:56:58 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-08 18:57:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_1.owl
2023-08-08 18:59:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_2.owl
2023-08-08 19:01:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_3.owl
2023-08-08 19:04:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_4.owl
2023-08-08 19:07:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_5.owl
2023-08-08 19:10:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_6.owl
2023-08-08 19:12:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_7.owl
2023-08-08 19:15:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_8.owl
2023-08-08 19:17:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_9.owl
2023-08-08 19:20:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_10.owl
2023-08-08 19:22:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_11.owl
2023-08-08 19:25:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_12.owl
2023-08-08 19:28:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_13.owl
2023-08-08 19:30:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_14.owl
2023-08-08 19:33:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_15.owl
2023-08-08 19:35:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_16.owl
2023-08-08 19:38:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_17.owl
2023-08-08 19:40:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_18.owl
2023-08-08 19:43:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_19.owl
2023-08-08 19:46:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_20.owl
2023-08-08 19:48:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_21.owl
2023-08-08 19:51:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_22.owl
2023-08-08 19:53:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_23.owl
2023-08-08 19:56:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_24.owl
execute_benchmark.sh: Openllet exceeded time limit of 1h
