Selt version 3.7.5 -- 03/29/23 -- LAAS/CNRS
ktz loaded, 11192886 states, 47808258 transitions
59.766s
operator deadlockFree : prop
0.000s
operator infinitelyOften : prop -> prop
0.000s
operator mortal : prop -> prop
0.000s
infix operator W : prop # prop -> prop
0.000s
operator absent : prop -> prop
0.000s
operator absentBefore : prop # prop -> prop
0.000s
operator absentAfter : prop # prop -> prop
0.000s
operator absentBetween : prop # prop # prop -> prop
0.000s
operator absentUntil : prop # prop # prop -> prop
0.000s
operator present : prop -> prop
0.000s
operator presentBefore : prop # prop -> prop
0.000s
operator presentAfter : prop # prop -> prop
0.000s
operator presentBetween : prop # prop # prop -> prop
0.000s
operator presentUntil : prop # prop # prop -> prop
0.000s
operator always : prop -> prop
0.000s
operator alwaysBefore : prop # prop -> prop
0.000s
operator alwaysAfter : prop # prop -> prop
0.000s
operator alwaysBetween : prop # prop # prop -> prop
0.000s
operator alwaysUntil : prop # prop # prop -> prop
0.000s
operator precedes : prop # prop -> prop
0.000s
operator precedesBefore : prop # prop # prop -> prop
0.000s
operator precedesAfter : prop # prop # prop -> prop
0.000s
operator precedesBetween : prop # prop # prop # prop -> prop
0.000s
operator precedesUntil : prop # prop # prop # prop -> prop
0.000s
operator leadsto : prop # prop -> prop
0.000s
operator leadstoBefore : prop # prop # prop -> prop
0.000s
operator leadstoAfter : prop # prop # prop -> prop
0.000s
operator leadstoBetween : prop # prop # prop # prop -> prop
0.000s
operator leadstoUntil : prop # prop # prop # prop -> prop
0.000s
operator Action_start_drone_btn3_undoable : prop
0.000s
FALSE
0.000s
operator Action_start_drone_btn3_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_start_drone_btn3_cannot_fail : prop
0.000s
FALSE
25.700s
operator Action_start_drone_btn3_cannot_be_halted : prop
0.000s
TRUE
26.368s
operator Action_start_drone_btn3_cannot_return_running : prop
0.000s
FALSE
33.104s
operator Action_start_camera_btn4_undoable : prop
0.000s
FALSE
0.000s
operator Action_start_camera_btn4_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_start_camera_btn4_cannot_fail : prop
0.000s
FALSE
26.581s
operator Action_start_camera_btn4_cannot_be_halted : prop
0.000s
TRUE
33.733s
operator Action_start_camera_btn4_cannot_return_running : prop
0.000s
FALSE
26.293s
operator ParallelAll_ParallelAll5_btn2_undoable : prop
0.000s
FALSE
0.000s
operator ParallelAll_ParallelAll5_btn2_cannot_succeed : prop
0.000s
FALSE
0.000s
operator ParallelAll_ParallelAll5_btn2_cannot_fail : prop
0.000s
FALSE
34.056s
operator ParallelAll_ParallelAll5_btn2_cannot_be_halted : prop
0.000s
TRUE
26.559s
operator SetSV_measure_battery_btn9_undoable : prop
0.000s
FALSE
0.000s
operator SetSV_measure_battery_btn9_cannot_succeed : prop
0.000s
FALSE
0.000s
operator SetSV_measure_battery_btn9_cannot_fail : prop
0.000s
TRUE
33.642s
operator SetSV_measure_battery_btn9_cannot_be_halted : prop
0.000s
TRUE
26.246s
operator SetSV_measure_battery_btn9_cannot_return_running : prop
0.000s
TRUE
33.210s
operator SetSV_measure_battery_btn9_cannot_error : prop
0.000s
TRUE
26.425s
operator ForceFailure_fail_btn8_undoable : prop
0.000s
FALSE
0.000s
operator ForceFailure_fail_btn8_cannot_succeed : prop
0.000s
TRUE
33.332s
operator ForceFailure_fail_btn8_cannot_fail : prop
0.000s
FALSE
0.000s
operator ForceFailure_fail_btn8_cannot_be_halted : prop
0.000s
TRUE
26.954s
operator ForceFailure_fail_btn8_cannot_return_running : prop
0.000s
TRUE
33.493s
operator ForceFailure_fail_btn8_cannot_error : prop
0.000s
TRUE
26.486s
operator Eval_Eval21_btn10_undoable : prop
0.000s
FALSE
0.000s
operator Eval_Eval21_btn10_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Eval_Eval21_btn10_cannot_fail : prop
0.000s
FALSE
0.007s
operator Eval_Eval21_btn10_cannot_be_halted : prop
0.000s
TRUE
33.405s
operator Action_land_btn11_undoable : prop
0.000s
FALSE
0.007s
operator Action_land_btn11_cannot_succeed : prop
0.000s
FALSE
0.007s
operator Action_land_btn11_cannot_fail : prop
0.000s
FALSE
0.007s
operator Action_land_btn11_cannot_be_halted : prop
0.000s
TRUE
26.623s
operator Action_land_btn11_cannot_return_running : prop
0.000s
FALSE
0.010s
operator Fallback_Fallback15_btn7_undoable : prop
0.000s
FALSE
0.000s
operator Fallback_Fallback15_btn7_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Fallback_Fallback15_btn7_cannot_fail : prop
0.000s
FALSE
0.008s
operator Fallback_Fallback15_btn7_cannot_be_halted : prop
0.000s
TRUE
33.409s
operator Fallback_Fallback15_btn7_cannot_return_running : prop
0.000s
FALSE
0.010s
operator Fallback_Fallback15_btn7_cannot_error : prop
0.000s
TRUE
26.483s
operator Eval_Eval25_btn12_undoable : prop
0.000s
FALSE
0.000s
operator Eval_Eval25_btn12_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Eval_Eval25_btn12_cannot_fail : prop
0.000s
FALSE
0.007s
operator Eval_Eval25_btn12_cannot_be_halted : prop
0.000s
TRUE
33.842s
operator Eval_Eval29_btn14_undoable : prop
0.000s
FALSE
0.000s
operator Eval_Eval29_btn14_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Eval_Eval29_btn14_cannot_fail : prop
0.000s
FALSE
0.003s
operator Eval_Eval29_btn14_cannot_be_halted : prop
0.000s
TRUE
26.616s
operator Action_goto_waypoint_btn15_undoable : prop
0.000s
FALSE
0.003s
operator Action_goto_waypoint_btn15_cannot_succeed : prop
0.000s
FALSE
0.003s
operator Action_goto_waypoint_btn15_cannot_fail : prop
0.000s
FALSE
0.013s
operator Action_goto_waypoint_btn15_cannot_be_halted : prop
0.000s
TRUE
33.321s
operator Action_goto_waypoint_btn15_cannot_return_running : prop
0.000s
FALSE
0.017s
operator Fallback_Fallback27_btn13_undoable : prop
0.000s
FALSE
0.000s
operator Fallback_Fallback27_btn13_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Fallback_Fallback27_btn13_cannot_fail : prop
0.000s
FALSE
0.014s
operator Fallback_Fallback27_btn13_cannot_be_halted : prop
0.000s
TRUE
26.435s
operator Fallback_Fallback27_btn13_cannot_return_running : prop
0.000s
FALSE
0.016s
operator Fallback_Fallback27_btn13_cannot_error : prop
0.000s
TRUE
33.680s
operator Sequence_Sequence13_btn6_undoable : prop
0.000s
FALSE
0.000s
operator Sequence_Sequence13_btn6_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Sequence_Sequence13_btn6_cannot_fail : prop
0.000s
FALSE
0.006s
operator Sequence_Sequence13_btn6_cannot_be_halted : prop
0.000s
TRUE
27.074s
operator Sequence_Sequence13_btn6_cannot_return_running : prop
0.000s
FALSE
0.010s
operator Sequence_Sequence13_btn6_cannot_error : prop
0.000s
TRUE
33.720s
operator Condition_localization_ok_btn17_undoable : prop
0.000s
FALSE
0.000s
operator Condition_localization_ok_btn17_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Condition_localization_ok_btn17_cannot_fail : prop
0.000s
FALSE
0.001s
operator Condition_localization_ok_btn17_cannot_be_halted : prop
0.000s
TRUE
26.743s
operator Action_land_btn19_undoable : prop
0.000s
FALSE
0.001s
operator Action_land_btn19_cannot_succeed : prop
0.000s
FALSE
0.001s
operator Action_land_btn19_cannot_fail : prop
0.000s
FALSE
0.002s
operator Action_land_btn19_cannot_be_halted : prop
0.000s
FALSE
0.007s
operator Action_land_btn19_cannot_return_running : prop
0.000s
FALSE
0.003s
operator ForceFailure_fail_btn18_undoable : prop
0.000s
FALSE
0.001s
operator ForceFailure_fail_btn18_cannot_succeed : prop
0.000s
TRUE
33.209s
operator ForceFailure_fail_btn18_cannot_fail : prop
0.000s
FALSE
0.001s
operator ForceFailure_fail_btn18_cannot_be_halted : prop
0.000s
FALSE
0.007s
operator ForceFailure_fail_btn18_cannot_return_running : prop
0.000s
FALSE
0.002s
operator ForceFailure_fail_btn18_cannot_error : prop
0.000s
TRUE
26.736s
operator Fallback_Fallback33_btn16_undoable : prop
0.000s
FALSE
0.000s
operator Fallback_Fallback33_btn16_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Fallback_Fallback33_btn16_cannot_fail : prop
0.000s
FALSE
0.001s
operator Fallback_Fallback33_btn16_cannot_be_halted : prop
0.000s
FALSE
0.007s
operator Fallback_Fallback33_btn16_cannot_return_running : prop
0.000s
FALSE
0.003s
operator Fallback_Fallback33_btn16_cannot_error : prop
0.000s
TRUE
33.368s
operator Action_takeoff_btn21_undoable : prop
0.000s
FALSE
0.000s
operator Action_takeoff_btn21_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_takeoff_btn21_cannot_fail : prop
0.000s
FALSE
26.000s
operator Action_takeoff_btn21_cannot_be_halted : prop
0.000s
FALSE
33.518s
operator Action_takeoff_btn21_cannot_return_running : prop
0.000s
FALSE
25.502s
operator Action_camera_tracking_camera_track_undoable : prop
0.000s
FALSE
0.000s
operator Action_camera_tracking_camera_track_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_camera_tracking_camera_track_cannot_fail : prop
0.000s
FALSE
13.413s
operator Action_camera_tracking_camera_track_cannot_be_halted : prop
0.000s
FALSE
11.202s
operator Action_camera_tracking_camera_track_cannot_return_running : prop
0.000s
FALSE
11.483s
operator Eval_Eval53_btn26_undoable : prop
0.000s
FALSE
0.000s
operator Eval_Eval53_btn26_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Eval_Eval53_btn26_cannot_fail : prop
0.000s
TRUE
38.885s
operator Eval_Eval53_btn26_cannot_be_halted : prop
0.000s
TRUE
26.981s
operator Action_goto_waypoint_btn27_undoable : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn27_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn27_cannot_fail : prop
0.000s
FALSE
2.040s
operator Action_goto_waypoint_btn27_cannot_be_halted : prop
0.000s
FALSE
7.717s
operator Action_goto_waypoint_btn27_cannot_return_running : prop
0.000s
FALSE
3.842s
operator Action_goto_waypoint_btn28_undoable : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn28_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn28_cannot_fail : prop
0.000s
FALSE
0.818s
operator Action_goto_waypoint_btn28_cannot_be_halted : prop
0.000s
FALSE
1.498s
operator Action_goto_waypoint_btn28_cannot_return_running : prop
0.000s
FALSE
0.940s
operator Action_goto_waypoint_btn29_undoable : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn29_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn29_cannot_fail : prop
0.000s
FALSE
1.042s
operator Action_goto_waypoint_btn29_cannot_be_halted : prop
0.000s
FALSE
0.735s
operator Action_goto_waypoint_btn29_cannot_return_running : prop
0.000s
FALSE
1.178s
operator Action_goto_waypoint_btn30_undoable : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn30_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn30_cannot_fail : prop
0.000s
FALSE
0.450s
operator Action_goto_waypoint_btn30_cannot_be_halted : prop
0.000s
FALSE
0.577s
operator Action_goto_waypoint_btn30_cannot_return_running : prop
0.000s
FALSE
0.823s
operator Action_goto_waypoint_btn31_undoable : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn31_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn31_cannot_fail : prop
0.000s
FALSE
0.265s
operator Action_goto_waypoint_btn31_cannot_be_halted : prop
0.000s
FALSE
0.342s
operator Action_goto_waypoint_btn31_cannot_return_running : prop
0.000s
FALSE
0.348s
operator Action_goto_waypoint_btn32_undoable : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn32_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn32_cannot_fail : prop
0.000s
FALSE
0.313s
operator Action_goto_waypoint_btn32_cannot_be_halted : prop
0.000s
FALSE
0.181s
operator Action_goto_waypoint_btn32_cannot_return_running : prop
0.000s
FALSE
0.183s
operator Sequence_Sequence51_btn25_undoable : prop
0.000s
FALSE
0.000s
operator Sequence_Sequence51_btn25_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Sequence_Sequence51_btn25_cannot_fail : prop
0.000s
FALSE
0.090s
operator Sequence_Sequence51_btn25_cannot_be_halted : prop
0.000s
FALSE
0.186s
operator Sequence_Sequence51_btn25_cannot_return_running : prop
0.000s
FALSE
0.173s
operator Sequence_Sequence51_btn25_cannot_error : prop
0.000s
TRUE
25.445s
operator Repeat_Repeat49_btn24_undoable : prop
0.000s
FALSE
0.000s
operator Repeat_Repeat49_btn24_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Repeat_Repeat49_btn24_cannot_fail : prop
0.000s
FALSE
0.376s
operator Repeat_Repeat49_btn24_cannot_be_halted : prop
0.000s
FALSE
0.174s
operator Repeat_Repeat49_btn24_cannot_return_running : prop
0.000s
FALSE
0.174s
operator Repeat_Repeat49_btn24_cannot_error : prop
0.000s
TRUE
37.301s
operator Parallel_Parallel45_btn22_undoable : prop
0.000s
FALSE
0.000s
operator Parallel_Parallel45_btn22_cannot_succeed : prop
0.000s
TRUE
27.697s
operator Parallel_Parallel45_btn22_cannot_fail : prop
0.000s
FALSE
14.454s
operator Parallel_Parallel45_btn22_cannot_be_halted : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn33_undoable : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn33_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_goto_waypoint_btn33_cannot_fail : prop
0.000s
FALSE
0.053s
operator Action_goto_waypoint_btn33_cannot_be_halted : prop
0.000s
FALSE
0.060s
operator Action_goto_waypoint_btn33_cannot_return_running : prop
0.000s
FALSE
0.058s
operator Action_land_btn34_undoable : prop
0.000s
FALSE
0.001s
operator Action_land_btn34_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_land_btn34_cannot_fail : prop
0.000s
FALSE
0.028s
operator Action_land_btn34_cannot_be_halted : prop
0.000s
FALSE
0.029s
operator Action_land_btn34_cannot_return_running : prop
0.000s
FALSE
0.027s
operator Action_shutdown_drone_btn35_undoable : prop
0.000s
FALSE
0.001s
operator Action_shutdown_drone_btn35_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Action_shutdown_drone_btn35_cannot_fail : prop
0.000s
FALSE
0.000s
operator Action_shutdown_drone_btn35_cannot_be_halted : prop
0.000s
FALSE
0.001s
operator Action_shutdown_drone_btn35_cannot_return_running : prop
0.000s
FALSE
0.000s
operator Eval_Eval73_btn36_undoable : prop
0.000s
FALSE
0.000s
operator Eval_Eval73_btn36_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Eval_Eval73_btn36_cannot_fail : prop
0.000s
FALSE
6.423s
operator Eval_Eval73_btn36_cannot_be_halted : prop
0.000s
TRUE
25.993s
operator Sequence_Sequence41_btn20_undoable : prop
0.000s
FALSE
0.001s
operator Sequence_Sequence41_btn20_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Sequence_Sequence41_btn20_cannot_fail : prop
0.000s
FALSE
0.000s
operator Sequence_Sequence41_btn20_cannot_be_halted : prop
0.000s
FALSE
0.001s
operator Sequence_Sequence41_btn20_cannot_return_running : prop
0.000s
FALSE
0.001s
operator Sequence_Sequence41_btn20_cannot_error : prop
0.000s
TRUE
36.700s
operator ReactiveSequence_ReactiveSequence11_btn5_undoable : prop
0.000s
FALSE
0.000s
operator ReactiveSequence_ReactiveSequence11_btn5_cannot_succeed : prop
0.000s
FALSE
0.000s
operator ReactiveSequence_ReactiveSequence11_btn5_cannot_fail : prop
0.000s
TRUE
27.715s
operator ReactiveSequence_ReactiveSequence11_btn5_cannot_be_halted : prop
0.000s
FALSE
0.001s
operator ReactiveSequence_ReactiveSequence11_btn5_cannot_return_running : prop
0.000s
FALSE
0.001s
operator ReactiveSequence_ReactiveSequence11_btn5_cannot_error : prop
0.000s
TRUE
34.297s
operator Sequence_Sequence3_btn1_undoable : prop
0.000s
FALSE
0.001s
operator Sequence_Sequence3_btn1_cannot_succeed : prop
0.000s
FALSE
0.000s
operator Sequence_Sequence3_btn1_cannot_fail : prop
0.000s
FALSE
0.000s
operator Sequence_Sequence3_btn1_cannot_be_halted : prop
0.000s
TRUE
27.486s
operator Sequence_Sequence3_btn1_cannot_return_running : prop
0.000s
FALSE
0.001s
operator Sequence_Sequence3_btn1_cannot_error : prop
0.000s
TRUE
34.615s
operator BehaviorTree_BehaviorTree1_drone_undoable : prop
0.000s
FALSE
0.001s
operator BehaviorTree_BehaviorTree1_drone_cannot_succeed : prop
0.000s
FALSE
0.000s
operator BehaviorTree_BehaviorTree1_drone_cannot_fail : prop
0.000s
FALSE
0.001s
operator BehaviorTree_BehaviorTree1_drone_cannot_be_halted : prop
0.000s
TRUE
26.698s
operator BehaviorTree_BehaviorTree1_drone_cannot_return_running : prop
0.000s
FALSE
0.001s
operator BehaviorTree_BehaviorTree1_drone_cannot_error : prop
0.000s
TRUE
33.725s