fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r051-ebro-158902546100396
Last Updated
Jun 28, 2020

About the Execution of ITS-Tools for DLCflexbar-PT-5b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15772.720 3600000.00 3618072.00 140098.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r051-ebro-158902546100396.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DLCflexbar-PT-5b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r051-ebro-158902546100396
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.7M
-rw-r--r-- 1 mcc users 3.9K Mar 30 05:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 05:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 19:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 19:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 12:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 12:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 10:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 10:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.5M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589575846029

[2020-05-15 20:50:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-15 20:50:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-15 20:50:51] [INFO ] Load time of PNML (sax parser for PT used): 1164 ms
[2020-05-15 20:50:51] [INFO ] Transformed 17305 places.
[2020-05-15 20:50:52] [INFO ] Transformed 26483 transitions.
[2020-05-15 20:50:52] [INFO ] Found NUPN structural information;
[2020-05-15 20:50:53] [INFO ] Parsed PT model containing 17305 places and 26483 transitions in 3281 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 3897 ms.
Incomplete random walk after 100000 steps, including 1 resets, run finished after 5647 ms. (steps per millisecond=17 ) properties seen :[1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0]
// Phase 1: matrix 26483 rows 17305 cols
[2020-05-15 20:51:05] [INFO ] Computed 979 place invariants in 2394 ms
[2020-05-15 20:51:25] [INFO ] [Real]Absence check using 979 positive place invariants in 15593 ms returned (error "Solver has unexpectedly terminated")
[2020-05-15 20:51:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 20:51:25] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 0
[2020-05-15 20:51:45] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-15 20:51:45] [INFO ] [Real]Absence check using 979 positive place invariants in 15835 ms returned (error "Failed to check-sat")
[2020-05-15 20:51:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 20:51:46] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 1
[2020-05-15 20:52:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-15 20:52:06] [INFO ] [Real]Absence check using 979 positive place invariants in 16568 ms returned (error "Failed to check-sat")
[2020-05-15 20:52:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 20:52:06] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 2
[2020-05-15 20:52:26] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-15 20:52:26] [INFO ] [Real]Absence check using 979 positive place invariants in 12100 ms returned (error "Failed to check-sat")
[2020-05-15 20:52:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 20:52:26] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 3
[2020-05-15 20:52:46] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (= 1 (+ s0 s1 s7296 s7297 s7298 s7299 s7300 s7301 s7302 s7303 s7304 s7305 s7306 s7307 s7308 s7309 s7310 s7311 s7312 s7313 s7314 s7315 s7316 s7317 s7318 s7319 s7320 s7321 s7322 s7323 s7324 s7325 s7326 s7327 s7328 s7329 s7330 s7331 s7332 s7333 s7334 s7335 s7336 s7337 s7338 s7339 s7340 s7341 s7342 s7343 s7344 s7345 s7346 s7347 s7348 s7349 s7350 s7351 s7352 s7353 s7354 s7355 s7356 s7357 s7358 s7359 s7360 s7361 s7362 s7363 s7364 s7365 s7366 s7367 s7368 s7369 s7370 s7371 s7372 s7373 s7374 s7375 s7376 s7377 s7378 s7379 s7380 s7381 s7382 s7383 s7384 s7385 s7386 s7387 s7388 s7389 s7390 s7391 s7392 s7393 s7394 s7395 s7396 s7397 s7398 s7399 s7400 s7401 s7402 s7403 s7404 s7405 s7406 s7407 s7408 s7409 s7410 s7411 s7412 s7413 s7414 s7415 s7416 s7417 s7418 s7419 s7420 s7421 s7422 s7423 s7424 s7425 s7426 s7427 s7428 s7429 s7430 s7431 s7432 s7433 s7434 s7435 s7436 s7437 s7438 s7439 s7440 s7441 s7442 s7443 s7444 s7445 s7446 s7447 s7448 s7449 s7450 s7451 s7452 s7453 s7454 s7455 s7456 s7457 s7458 s7459 s7460 s7461 s7462 s7463 s7464 s7465 s7466 s7467 s7468 s7469 s7470 s7471 s7472 s7473 s7474 s7475 s7476 s7477 s7478 s7479 s7480 s7481 s7482 s7483 s7484 s7485 s7486 s7487 s7488 s7489 s7490 s7491 s7492 s7493 s7494 s7495 s7496 s7497 s7498 s7499 s7500 s7501 s7502 s7503 s7504 s7505 s7506 s7507 s7508 s7509 s7510 s7511 s7512 s7513 s7514 s7515 s7516 s7517 s7518 s7519 s7520 s7521 s7522 s7523 s7524 s7525 s7526 s7527 s7528 s7529 s7530 s7531 s7532 s7533 s7534 s7535 s7536 s7537 s7538 s7539 s7540 s7541 s7542 s7543 s7544 s7545 s7546 s7547 s7548 s7549 s7550 s7551 s7552 s7553 s7554 s7555 s7556 s7557 s7558 s7559 s7560 s7561 s7562 s7563 s7564 s7565 s7566 s7567 s7568 s7569 s7570 s7571 s7572 s7573 s7574 s7575 s7576 s7577 s7578 s7579 s7580 s7581 s7582 s7583 s7584 s7585 s7586 s7587 s7588 s7589 s7590 s7591 s7592 s7593 s7594 s7595 s7596 s7597 s7598 s7599 s7600 s7601 s7602 s7603 s7604 s7605 s7606 s7607 s7608 s7609 s7610 s7611 s7612 s7613 s7614 s7615 s7616 s7617 s7618 s7619 s7620 s7621 s7622 s7623 s7624 s7625 s7626 s7627 s7628 s7629 s7630 s7631 s7632 s7633 s7634 s7635 s7636 s7637 s7638 s7639 s7640 s7641 s7642 s7643 s7644 s7645 s7646 s7647 s7648 s7649 s7650 s7651 s7652 s7653 s7654 s7655 s7656 s7657 s7658 s7659 s7660 s7661 s7662 s7663 s7664 s7665 s7666 s7667 s7668 s7669 s7670 s7671 s7672 s7673 s7674 s7675 s7676 s7677 s7678 s7679 s7680 s7681 s7682 s7683 s7684 s7685 s7686 s7687 s7688 s7689 s7690 s7691 s7692 s7693 s7694 s7695 s7696 s7697 s7698 s7699 s7700 s7701 s7702 s7703 s7704 s7705 s7706 s7707 s7708 s7709 s7710 s7711 s7712 s7713 s7714 s7715 s7716 s7717 s7718 s7719 s7720 s7721 s7722 s7723 s7724 s7725 s7726 s7727 s7728 s7729 s7730 s7731 s7732 s7733 s7734 s7735 s7736 s7737 s7738 s7739 s7740 s7741 s7742 s7743 s7744 s7745 s7746 s7747 s7748 s7749 s7750 s7751 s7752 s7753 s7754 s7755 s7756 s7757 s7758 s7759 s7760 s7761 s7762 s7763 s7764 s7765 s7766 s7767 s7768 s7769 s7770 s7771 s7772 s7773 s7774 s7775 s7776 s7777 s7778 s7779 s7780 s7781 s7782 s7783 s7784 s7785 s7786 s7787 s7788 s7789 s7790 s7791 s7792 s7793 s7794 s7795 s7796 s7797 s7798 s7799 s7800 s7801 s7802 s7803 s7804 s7805 s7806 s7807 s7808 s7809 s7810 s7811 s7812 s7813 s7814 s7815 s7816 s7817 s7818 s7819 s7820 s7821 s7822 s7823 s7824 s7825 s7826 s7827 s7828 s7829 s7830 s7831 s7832 s7833 s7834 s7835 s7836 s7837 s7838 s7839 s7840 s7841 s7842 s7843 s7844 s7845 s7846 s7847 s7848 s7849 s7850 s7851 s7852 s7853 s7854 s7855 s7856 s7857 s7858 s7859 s7860 s7861 s7862 s7863 s7864 s7865 s7866 s7867 s7868 s7869 s7870 s7871 s7872 s7873 s7874 s7875 s7876 s7877 s7878 s7879 s7880 s7881 s7882 s7883 s7884 s7885 s7886 s7887 s7888 s7889 s7890 s7891 s7892 s7893 s7894 s7895 s7896 s7897 s7898 s7899 s7900 s7901 s7902 s7903 s7904 s7905 s7906 s7907 s7908 s7909 s7910 s7911 s7912 s7913 s7914 s7915 s7916 s7917 s7918 s7919 s7920 s7921 s7922 s7923 s7924 s7925 s7926 s7927 s7928 s7929 s7930 s7931 s7932 s7933 s7934 s7935 s7936 s7937 s7938 s7939 s7940 s7941 s7942 s7943 s7944 s7945 s7946 s7947 s7948 s7949 s7950 s7951 s7952 s7953 s7954 s7955 s7956 s7957 s7958 s7959 s7960 s7961 s7962 s7963 s7964 s7965 s7966 s7967 s7968 s7969 s7970 s7971 s7972 s7973 s7974 s7975 s7976 s7977 s7978 s7979 s7980 s7981 s7982 s7983 s7984 s7985 s7986 s7987 s7988 s7989 s7990 s7991 s7992 s7993 s7994 s7995 s7996 s7997 s7998 s7999 s8000 s8001 s8002 s8003 s8004 s8005 s8006 s8007 s8008 s8009 s8010 s8011 s8012 s8013 s8014 s8015 s8016 s8017 s8018 s8019 s8020 s8021 s8022 s8023 s8024 s8025 s8026 s8027 s8028 s8029 s8030 s8031 s8032 s8033 s8034 s8035 s8036 s8037 s8038 s8039 s8040 s8041 s8042 s8043 s8044 s8045 s8046 s8047 s8048 s8049 s8050 s8051 s8052 s8053 s8054 s8055 s8056 s8057 s8058 s8059 s8060 s8061 s8062 s8063 s8064 s8065 s8066 s8067 s8068 s8069 s9565 s9566 s9567 s9568 s9569 s9570 s9571 s9572 s9573 s9574))") while checking expression at index 4
[2020-05-15 20:53:06] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (= 1 (+ s0 s1 s7296 s7297 s7298 s7299 s7300 s7301 s7302 s7303 s7304 s7305 s7306 s7307 s7308 s7309 s7310 s7311 s7312 s7313 s7314 s7315 s7316 s7317 s7318 s7319 s7320 s7321 s7322 s7323 s7324 s7325 s7326 s7327 s7328 s7329 s7330 s7331 s7332 s7333 s7334 s7335 s7336 s7337 s7338 s7339 s7340 s7341 s7342 s7343 s7344 s7345 s7346 s7347 s7348 s7349 s7350 s7351 s7352 s7353 s7354 s7355 s7356 s7357 s7358 s7359 s7360 s7361 s7362 s7363 s7364 s7365 s7366 s7367 s7368 s7369 s7370 s7371 s7372 s7373 s7374 s7375 s7376 s7377 s7378 s7379 s7380 s7381 s7382 s7383 s7384 s7385 s7386 s7387 s7388 s7389 s7390 s7391 s7392 s7393 s7394 s7395 s7396 s7397 s7398 s7399 s7400 s7401 s7402 s7403 s7404 s7405 s7406 s7407 s7408 s7409 s7410 s7411 s7412 s7413 s7414 s7415 s7416 s7417 s7418 s7419 s7420 s7421 s7422 s7423 s7424 s7425 s7426 s7427 s7428 s7429 s7430 s7431 s7432 s7433 s7434 s7435 s7436 s7437 s7438 s7439 s7440 s7441 s7442 s7443 s7444 s7445 s7446 s7447 s7448 s7449 s7450 s7451 s7452 s7453 s7454 s7455 s7456 s7457 s7458 s7459 s7460 s7461 s7462 s7463 s7464 s7465 s7466 s7467 s7468 s7469 s7470 s7471 s7472 s7473 s7474 s7475 s7476 s7477 s7478 s7479 s7480 s7481 s7482 s7483 s7484 s7485 s7486 s7487 s7488 s7489 s7490 s7491 s7492 s7493 s7494 s7495 s7496 s7497 s7498 s7499 s7500 s7501 s7502 s7503 s7504 s7505 s7506 s7507 s7508 s7509 s7510 s7511 s7512 s7513 s7514 s7515 s7516 s7517 s7518 s7519 s7520 s7521 s7522 s7523 s7524 s7525 s7526 s7527 s7528 s7529 s7530 s7531 s7532 s7533 s7534 s7535 s7536 s7537 s7538 s7539 s7540 s7541 s7542 s7543 s7544 s7545 s7546 s7547 s7548 s7549 s7550 s7551 s7552 s7553 s7554 s7555 s7556 s7557 s7558 s7559 s7560 s7561 s7562 s7563 s7564 s7565 s7566 s7567 s7568 s7569 s7570 s7571 s7572 s7573 s7574 s7575 s7576 s7577 s7578 s7579 s7580 s7581 s7582 s7583 s7584 s7585 s7586 s7587 s7588 s7589 s7590 s7591 s7592 s7593 s7594 s7595 s7596 s7597 s7598 s7599 s7600 s7601 s7602 s7603 s7604 s7605 s7606 s7607 s7608 s7609 s7610 s7611 s7612 s7613 s7614 s7615 s7616 s7617 s7618 s7619 s7620 s7621 s7622 s7623 s7624 s7625 s7626 s7627 s7628 s7629 s7630 s7631 s7632 s7633 s7634 s7635 s7636 s7637 s7638 s7639 s7640 s7641 s7642 s7643 s7644 s7645 s7646 s7647 s7648 s7649 s7650 s7651 s7652 s7653 s7654 s7655 s7656 s7657 s7658 s7659 s7660 s7661 s7662 s7663 s7664 s7665 s7666 s7667 s7668 s7669 s7670 s7671 s7672 s7673 s7674 s7675 s7676 s7677 s7678 s7679 s7680 s7681 s7682 s7683 s7684 s7685 s7686 s7687 s7688 s7689 s7690 s7691 s7692 s7693 s7694 s7695 s7696 s7697 s7698 s7699 s7700 s7701 s7702 s7703 s7704 s7705 s7706 s7707 s7708 s7709 s7710 s7711 s7712 s7713 s7714 s7715 s7716 s7717 s7718 s7719 s7720 s7721 s7722 s7723 s7724 s7725 s7726 s7727 s7728 s7729 s7730 s7731 s7732 s7733 s7734 s7735 s7736 s7737 s7738 s7739 s7740 s7741 s7742 s7743 s7744 s7745 s7746 s7747 s7748 s7749 s7750 s7751 s7752 s7753 s7754 s7755 s7756 s7757 s7758 s7759 s7760 s7761 s7762 s7763 s7764 s7765 s7766 s7767 s7768 s7769 s7770 s7771 s7772 s7773 s7774 s7775 s7776 s7777 s7778 s7779 s7780 s7781 s7782 s7783 s7784 s12415 s12416 s12417 s12418 s12419 s12420 s12421 s12422 s12423 s12424))") while checking expression at index 5
[2020-05-15 20:53:26] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-15 20:53:26] [INFO ] [Real]Absence check using 979 positive place invariants in 16606 ms returned (error "Failed to check-sat")
[2020-05-15 20:53:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 20:53:26] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe") while checking expression at index 6
[2020-05-15 20:53:30] [INFO ] Flatten gal took : 2521 ms
[2020-05-15 20:53:31] [INFO ] Flatten gal took : 1439 ms
[2020-05-15 20:53:33] [INFO ] Applying decomposition
[2020-05-15 20:53:34] [INFO ] Flatten gal took : 1556 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph3643910810986684421.txt, -o, /tmp/graph3643910810986684421.bin, -w, /tmp/graph3643910810986684421.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/louvain-linux64, /tmp/graph3643910810986684421.bin, -l, -1, -v, -w, /tmp/graph3643910810986684421.weights, -q, 0, -e, 0.001], workingDir=null]
[2020-05-15 20:53:40] [INFO ] Decomposing Gal with order
[2020-05-15 20:53:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-15 20:54:45] [INFO ] Removed a total of 19839 redundant transitions.
[2020-05-15 20:54:47] [INFO ] Flatten gal took : 3980 ms
[2020-05-15 20:54:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 549 labels/synchronizations in 1395 ms.
[2020-05-15 20:54:51] [INFO ] Time to serialize gal into /home/mcc/execution/CTLFireability.pnml.gal : 901 ms
[2020-05-15 20:54:51] [INFO ] Time to serialize properties into /home/mcc/execution/CTLFireability.ctl : 20 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLFireability.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLFireability.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLFireability.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLFireability.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
built 996 ordering constraints for composite.
built 29 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 34 ordering constraints for composite.
built 22 ordering constraints for composite.
built 7 ordering constraints for composite.
built 6 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 15 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 19 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 10 ordering constraints for composite.
built 7 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 11 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 12 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 84 ordering constraints for composite.
built 9 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 12 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 15 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 18 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 20 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 125 ordering constraints for composite.
built 15 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 17 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 19 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 12 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 14 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 16 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 20 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 66 ordering constraints for composite.
built 123 ordering constraints for composite.
built 8 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 12 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 9 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 9 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 9 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 14 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 19 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 7 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 11 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 10 ordering constraints for composite.
built 10 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 15 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 123 ordering constraints for composite.
built 8 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 12 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 15 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 12 ordering constraints for composite.
built 10 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 12 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 7 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 12 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 15 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 15 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 453 ordering constraints for composite.
built 1035 ordering constraints for composite.
built 417 ordering constraints for composite.
built 1050 ordering constraints for composite.
built 387 ordering constraints for composite.
built 466 ordering constraints for composite.
built 11 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 1063 ordering constraints for composite.
built 1015 ordering constraints for composite.
built 1055 ordering constraints for composite.
built 391 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 387 ordering constraints for composite.
built 121 ordering constraints for composite.
built 1065 ordering constraints for composite.
built 382 ordering constraints for composite.
built 1083 ordering constraints for composite.
built 7 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 12 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 11 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 123 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 10 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 11 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 11 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 15 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 11 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 15 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 11 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 15 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 119 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 125 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 123 ordering constraints for composite.
built 123 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 124 ordering constraints for composite.
built 9 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 123 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 12 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 12 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 124 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 120 ordering constraints for composite.
built 121 ordering constraints for composite.
built 60 ordering constraints for composite.
built 43 ordering constraints for composite.
built 13 ordering constraints for composite.
built 7 ordering constraints for composite.
built 6 ordering constraints for composite.
built 13 ordering constraints for composite.
built 7 ordering constraints for composite.
built 6 ordering constraints for composite.
built 17 ordering constraints for composite.
built 7 ordering constraints for composite.
built 10 ordering constraints for composite.
built 17 ordering constraints for composite.
built 12 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
Detected timeout of ITS tools.
[2020-05-15 21:15:55] [INFO ] Applying decomposition
[2020-05-15 21:16:05] [INFO ] Flatten gal took : 9422 ms
[2020-05-15 21:16:07] [INFO ] Decomposing Gal with order
[2020-05-15 21:19:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-15 21:20:13] [INFO ] Removed a total of 16913 redundant transitions.
[2020-05-15 21:20:14] [INFO ] Flatten gal took : 2311 ms
[2020-05-15 21:38:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 810132 labels/synchronizations in 995610 ms.
[2020-05-15 21:38:49] [INFO ] Time to serialize gal into /home/mcc/execution/CTLFireability.pnml.gal : 1794 ms
[2020-05-15 21:38:49] [INFO ] Time to serialize properties into /home/mcc/execution/CTLFireability.ctl : 53 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLFireability.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLFireability.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLFireability.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLFireability.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
built 2 ordering constraints for composite.
built 140 ordering constraints for composite.
built 138 ordering constraints for composite.
built 136 ordering constraints for composite.
built 134 ordering constraints for composite.
built 132 ordering constraints for composite.
built 130 ordering constraints for composite.
built 128 ordering constraints for composite.
built 126 ordering constraints for composite.
built 124 ordering constraints for composite.
built 122 ordering constraints for composite.
built 120 ordering constraints for composite.
built 118 ordering constraints for composite.
built 116 ordering constraints for composite.
built 114 ordering constraints for composite.
built 112 ordering constraints for composite.
built 110 ordering constraints for composite.
built 108 ordering constraints for composite.
built 106 ordering constraints for composite.
built 104 ordering constraints for composite.
built 102 ordering constraints for composite.
built 100 ordering constraints for composite.
built 98 ordering constraints for composite.
built 96 ordering constraints for composite.
built 94 ordering constraints for composite.
built 92 ordering constraints for composite.
built 90 ordering constraints for composite.
built 88 ordering constraints for composite.
built 86 ordering constraints for composite.
built 84 ordering constraints for composite.
built 82 ordering constraints for composite.
built 80 ordering constraints for composite.
built 78 ordering constraints for composite.
built 76 ordering constraints for composite.
built 74 ordering constraints for composite.
built 72 ordering constraints for composite.
built 70 ordering constraints for composite.
built 68 ordering constraints for composite.
built 66 ordering constraints for composite.
built 64 ordering constraints for composite.
built 62 ordering constraints for composite.
built 60 ordering constraints for composite.
built 58 ordering constraints for composite.
built 56 ordering constraints for composite.
built 54 ordering constraints for composite.
built 52 ordering constraints for composite.
built 50 ordering constraints for composite.
built 48 ordering constraints for composite.
built 46 ordering constraints for composite.
built 44 ordering constraints for composite.
built 42 ordering constraints for composite.
built 40 ordering constraints for composite.
built 38 ordering constraints for composite.
built 36 ordering constraints for composite.
built 34 ordering constraints for composite.
built 32 ordering constraints for composite.
built 30 ordering constraints for composite.
built 28 ordering constraints for composite.
built 26 ordering constraints for composite.
built 24 ordering constraints for composite.
built 22 ordering constraints for composite.
built 20 ordering constraints for composite.
built 18 ordering constraints for composite.
built 16 ordering constraints for composite.
built 14 ordering constraints for composite.
built 12 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 216 ordering constraints for composite.
built 216 ordering constraints for composite.
built 216 ordering constraints for composite.
built 216 ordering constraints for composite.
built 216 ordering constraints for composite.
built 216 ordering constraints for composite.
built 216 ordering constraints for composite.
built 216 ordering constraints for composite.
built 216 ordering constraints for composite.
built 216 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 215 ordering constraints for composite.
built 214 ordering constraints for composite.
built 213 ordering constraints for composite.
built 213 ordering constraints for composite.
built 213 ordering constraints for composite.
built 212 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 211 ordering constraints for composite.
built 210 ordering constraints for composite.
built 209 ordering constraints for composite.
built 209 ordering constraints for composite.
built 208 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 207 ordering constraints for composite.
built 206 ordering constraints for composite.
built 205 ordering constraints for composite.
built 205 ordering constraints for composite.
built 205 ordering constraints for composite.
built 204 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 203 ordering constraints for composite.
built 202 ordering constraints for composite.
built 201 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 200 ordering constraints for composite.
built 199 ordering constraints for composite.
built 198 ordering constraints for composite.
built 197 ordering constraints for composite.
built 196 ordering constraints for composite.
built 195 ordering constraints for composite.
built 194 ordering constraints for composite.
built 194 ordering constraints for composite.
built 193 ordering constraints for composite.
built 192 ordering constraints for composite.
built 191 ordering constraints for composite.
built 191 ordering constraints for composite.
built 191 ordering constraints for composite.
built 191 ordering constraints for composite.
built 191 ordering constraints for composite.
built 190 ordering constraints for composite.
built 190 ordering constraints for composite.
built 190 ordering constraints for composite.
built 190 ordering constraints for composite.
built 189 ordering constraints for composite.
built 188 ordering constraints for composite.
built 187 ordering constraints for composite.
built 186 ordering constraints for composite.
built 186 ordering constraints for composite.
built 185 ordering constraints for composite.
built 184 ordering constraints for composite.
built 183 ordering constraints for composite.
built 183 ordering constraints for composite.
built 183 ordering constraints for composite.
built 183 ordering constraints for composite.
built 183 ordering constraints for composite.
built 182 ordering constraints for composite.
built 182 ordering constraints for composite.
built 182 ordering constraints for composite.
built 182 ordering constraints for composite.
built 181 ordering constraints for composite.
built 180 ordering constraints for composite.
built 179 ordering constraints for composite.
built 178 ordering constraints for composite.
built 178 ordering constraints for composite.
built 177 ordering constraints for composite.
built 176 ordering constraints for composite.
built 175 ordering constraints for composite.
built 175 ordering constraints for composite.
built 175 ordering constraints for composite.
built 175 ordering constraints for composite.
built 175 ordering constraints for composite.
built 174 ordering constraints for composite.
built 174 ordering constraints for composite.
built 174 ordering constraints for composite.
built 174 ordering constraints for composite.
built 173 ordering constraints for composite.
built 172 ordering constraints for composite.
built 171 ordering constraints for composite.
built 170 ordering constraints for composite.
built 170 ordering constraints for composite.
built 169 ordering constraints for composite.
built 168 ordering constraints for composite.
built 167 ordering constraints for composite.
built 167 ordering constraints for composite.
built 167 ordering constraints for composite.
built 167 ordering constraints for composite.
built 167 ordering constraints for composite.
built 166 ordering constraints for composite.
built 166 ordering constraints for composite.
built 166 ordering constraints for composite.
built 166 ordering constraints for composite.
built 165 ordering constraints for composite.
built 164 ordering constraints for composite.
built 163 ordering constraints for composite.
built 162 ordering constraints for composite.
built 162 ordering constraints for composite.
built 161 ordering constraints for composite.
built 160 ordering constraints for composite.
built 159 ordering constraints for composite.
built 159 ordering constraints for composite.
built 159 ordering constraints for composite.
built 159 ordering constraints for composite.
built 159 ordering constraints for composite.
built 158 ordering constraints for composite.
built 158 ordering constraints for composite.
built 158 ordering constraints for composite.
built 158 ordering constraints for composite.
built 157 ordering constraints for composite.
built 156 ordering constraints for composite.
built 155 ordering constraints for composite.
built 154 ordering constraints for composite.
built 154 ordering constraints for composite.
built 153 ordering constraints for composite.
built 152 ordering constraints for composite.
built 151 ordering constraints for composite.
built 151 ordering constraints for composite.
built 151 ordering constraints for composite.
built 151 ordering constraints for composite.
built 151 ordering constraints for composite.
built 150 ordering constraints for composite.
built 150 ordering constraints for composite.
built 150 ordering constraints for composite.
built 150 ordering constraints for composite.
built 149 ordering constraints for composite.
built 148 ordering constraints for composite.
built 147 ordering constraints for composite.
built 146 ordering constraints for composite.
built 146 ordering constraints for composite.
built 145 ordering constraints for composite.
built 144 ordering constraints for composite.
built 143 ordering constraints for composite.
built 143 ordering constraints for composite.
built 143 ordering constraints for composite.
built 143 ordering constraints for composite.
built 143 ordering constraints for composite.
built 142 ordering constraints for composite.
built 142 ordering constraints for composite.
built 142 ordering constraints for composite.
built 142 ordering constraints for composite.
built 141 ordering constraints for composite.
built 140 ordering constraints for composite.
built 139 ordering constraints for composite.
built 138 ordering constraints for composite.
built 137 ordering constraints for composite.
built 136 ordering constraints for composite.
built 135 ordering constraints for composite.
built 134 ordering constraints for composite.
built 134 ordering constraints for composite.
built 134 ordering constraints for composite.
built 133 ordering constraints for composite.
built 132 ordering constraints for composite.
built 131 ordering constraints for composite.
built 130 ordering constraints for composite.
built 129 ordering constraints for composite.
built 128 ordering constraints for composite.
built 127 ordering constraints for composite.
built 126 ordering constraints for composite.
built 125 ordering constraints for composite.
built 124 ordering constraints for composite.
built 123 ordering constraints for composite.
built 122 ordering constraints for composite.
built 121 ordering constraints for composite.
built 120 ordering constraints for composite.
built 119 ordering constraints for composite.
built 118 ordering constraints for composite.
built 117 ordering constraints for composite.
built 116 ordering constraints for composite.
built 115 ordering constraints for composite.
built 114 ordering constraints for composite.
built 113 ordering constraints for composite.
built 112 ordering constraints for composite.
built 111 ordering constraints for composite.
built 110 ordering constraints for composite.
built 109 ordering constraints for composite.
built 108 ordering constraints for composite.
built 107 ordering constraints for composite.
built 106 ordering constraints for composite.
built 105 ordering constraints for composite.
built 104 ordering constraints for composite.
built 103 ordering constraints for composite.
built 102 ordering constraints for composite.
built 101 ordering constraints for composite.
built 100 ordering constraints for composite.
built 99 ordering constraints for composite.
built 98 ordering constraints for composite.
built 97 ordering constraints for composite.
built 96 ordering constraints for composite.
built 95 ordering constraints for composite.
built 94 ordering constraints for composite.
built 93 ordering constraints for composite.
built 92 ordering constraints for composite.
built 91 ordering constraints for composite.
built 90 ordering constraints for composite.
built 89 ordering constraints for composite.
built 88 ordering constraints for composite.
built 87 ordering constraints for composite.
built 86 ordering constraints for composite.
built 85 ordering constraints for composite.
built 84 ordering constraints for composite.
built 83 ordering constraints for composite.
built 82 ordering constraints for composite.
built 81 ordering constraints for composite.
built 80 ordering constraints for composite.
built 79 ordering constraints for composite.
built 78 ordering constraints for composite.
built 77 ordering constraints for composite.
built 76 ordering constraints for composite.
built 75 ordering constraints for composite.
built 74 ordering constraints for composite.
built 73 ordering constraints for composite.
built 72 ordering constraints for composite.
built 71 ordering constraints for composite.
built 70 ordering constraints for composite.
built 69 ordering constraints for composite.
built 68 ordering constraints for composite.
built 67 ordering constraints for composite.
built 66 ordering constraints for composite.
built 65 ordering constraints for composite.
built 64 ordering constraints for composite.
built 63 ordering constraints for composite.
built 62 ordering constraints for composite.
built 61 ordering constraints for composite.
built 60 ordering constraints for composite.
built 59 ordering constraints for composite.
built 58 ordering constraints for composite.
built 57 ordering constraints for composite.
built 56 ordering constraints for composite.
built 55 ordering constraints for composite.
built 54 ordering constraints for composite.
built 53 ordering constraints for composite.
built 52 ordering constraints for composite.
built 51 ordering constraints for composite.
built 50 ordering constraints for composite.
built 49 ordering constraints for composite.
built 48 ordering constraints for composite.
built 47 ordering constraints for composite.
built 46 ordering constraints for composite.
built 45 ordering constraints for composite.
built 44 ordering constraints for composite.
built 43 ordering constraints for composite.
built 42 ordering constraints for composite.
built 41 ordering constraints for composite.
built 40 ordering constraints for composite.
built 39 ordering constraints for composite.
built 38 ordering constraints for composite.
built 37 ordering constraints for composite.
built 36 ordering constraints for composite.
built 35 ordering constraints for composite.
built 34 ordering constraints for composite.
built 33 ordering constraints for composite.
built 32 ordering constraints for composite.
built 31 ordering constraints for composite.
built 30 ordering constraints for composite.
built 29 ordering constraints for composite.
built 28 ordering constraints for composite.
built 27 ordering constraints for composite.
built 26 ordering constraints for composite.
built 25 ordering constraints for composite.
built 24 ordering constraints for composite.
built 23 ordering constraints for composite.
built 22 ordering constraints for composite.
built 21 ordering constraints for composite.
built 20 ordering constraints for composite.
built 19 ordering constraints for composite.
built 18 ordering constraints for composite.
built 17 ordering constraints for composite.
built 16 ordering constraints for composite.
built 15 ordering constraints for composite.
built 14 ordering constraints for composite.
built 13 ordering constraints for composite.
built 12 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
ITS-tools command line returned an error code 137
[2020-05-15 21:45:59] [INFO ] Flatten gal took : 2028 ms
[2020-05-15 21:46:12] [INFO ] Input system was already deterministic with 26483 transitions.
[2020-05-15 21:46:14] [INFO ] Transformed 17305 places.
[2020-05-15 21:46:14] [INFO ] Transformed 26483 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2020-05-15 21:46:51] [INFO ] Time to serialize gal into /home/mcc/execution/CTLFireability.pnml.gal : 237 ms
[2020-05-15 21:46:51] [INFO ] Time to serialize properties into /home/mcc/execution/CTLFireability.ctl : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLFireability.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLFireability.ctl, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLFireability.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLFireability.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-5b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DLCflexbar-PT-5b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r051-ebro-158902546100396"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-5b.tgz
mv DLCflexbar-PT-5b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;