About the Execution of ITS-LoLa for PolyORBLF-COL-S04J04T08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15737.980 | 3600000.00 | 3618903.00 | 660.20 | T???????F??????? | normal |
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.r176-tajo-158987871700324.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 itslola
Input is PolyORBLF-COL-S04J04T08, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r176-tajo-158987871700324
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 4.1K Apr 12 05:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 05:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 11 05:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 05:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 10 12:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 12:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 17:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 17:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 154K 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 PolyORBLF-COL-S04J04T08-CTLFireability-00
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-01
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-02
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-03
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-04
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-05
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-06
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-07
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-08
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-09
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-10
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-11
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-12
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-13
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-14
FORMULA_NAME PolyORBLF-COL-S04J04T08-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591143085688
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 00:11:28] [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, -timeout, 3600, -rebuildPNML]
[2020-06-03 00:11:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 00:11:28] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-06-03 00:11:29] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1043 ms
[2020-06-03 00:11:29] [INFO ] sort/places :
D4->DisablePollingE,DisablePollingB,Insert_Source_B,P_1119,P_2579,
Threads->AwakeTasks,IdleTasks,NotifyEventJobQueuedE,QueueJobE,P_2321,TryAllocateOneTaskE,TryAllocateOneTaskB,P_2318,EnablePollingE,EnablePollingB,FetchJobB,ScheduleTaskE_Check,ScheduleTaskB,Abort_Check_Sources_E,Abort_Check_Sources_B,NotifyEventSourceAddedB,Insert_Source_E,NotifyEventSourceAddedE,P_1113,ProcessingEvt,P_1155,nyo,P_1158,P_1159,P_1160,NotifyEventEndOfCheckSourcesB,NotifyEventEndOfCheckSourcesE,Check_Sources_B,Check_Sources_E,Idle,NotifyEventJobCompletedE,NotifyEventJobCompletedB,RunE,RunB,Perform_Work_E,Try_Check_Sources_B,Try_Check_Sources_E,P_1617,ScheduleTaskE_Idle,
D6->CreatedJobs,
Jobs->P_1725,P_1724,P_1712,AvailableJobId,
Dot->cJobCnt,JobCnt,cBlockedTasks,PollingAbort,cPollingAbort,BlockedTasks,MarkerWrite,P_1727,P_1726,MarkerRead,P_1717,P_1716,CanInjectEvent,SigAbort,NoSigAbort,P_1093,P_1095,P_1097,P_1099,cSources,cIsMonitoring,IsMonitoring,cIdleTasks,ORB_Lock,
Sources->DataOnSrc,PlaceSources,ModifiedSrc,AbourtToModifySrc,
D1->NotifyEventJobQueuedB,QueueJobB,FetchJobE,ScheduleTaskE_Work,
[2020-06-03 00:11:29] [INFO ] ms2 symmetric to ms1 in transition T_1124
[2020-06-03 00:11:29] [INFO ] ms3 symmetric to ms2 in transition T_1125
[2020-06-03 00:11:29] [INFO ] ms2 symmetric to ms1 in transition T_1125
[2020-06-03 00:11:29] [INFO ] ms3 symmetric to ms2 in transition T_1126
[2020-06-03 00:11:29] [INFO ] ms2 symmetric to ms1 in transition T_1126
[2020-06-03 00:11:29] [INFO ] ms1 symmetric to ms4 in transition T_1126
[2020-06-03 00:11:29] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 712 PT places and 4080.0 transition bindings in 47 ms.
[2020-06-03 00:11:29] [INFO ] Computed order based on color domains.
[2020-06-03 00:11:29] [INFO ] Unfolded HLPN to a Petri net with 712 places and 1844 transitions in 87 ms.
[2020-06-03 00:11:29] [INFO ] Unfolded HLPN properties in 1 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 175 ms.
Incomplete random walk after 100000 steps, including 9 resets, run finished after 1319 ms. (steps per millisecond=75 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0]
[2020-06-03 00:11:31] [INFO ] Flow matrix only has 1812 transitions (discarded 32 similar events)
// Phase 1: matrix 1812 rows 712 cols
[2020-06-03 00:11:31] [INFO ] Computed 54 place invariants in 229 ms
[2020-06-03 00:11:31] [INFO ] [Real]Absence check using 16 positive place invariants in 47 ms returned sat
[2020-06-03 00:11:31] [INFO ] [Real]Absence check using 16 positive and 38 generalized place invariants in 51 ms returned unsat
[2020-06-03 00:11:32] [INFO ] [Real]Absence check using 16 positive place invariants in 39 ms returned unsat
[2020-06-03 00:11:32] [INFO ] [Real]Absence check using 16 positive place invariants in 56 ms returned sat
[2020-06-03 00:11:32] [INFO ] [Real]Absence check using 16 positive and 38 generalized place invariants in 75 ms returned unsat
[2020-06-03 00:11:32] [INFO ] [Real]Absence check using 16 positive place invariants in 65 ms returned sat
[2020-06-03 00:11:32] [INFO ] [Real]Absence check using 16 positive and 38 generalized place invariants in 191 ms returned unsat
[2020-06-03 00:11:32] [INFO ] [Real]Absence check using 16 positive place invariants in 35 ms returned sat
[2020-06-03 00:11:32] [INFO ] [Real]Absence check using 16 positive and 38 generalized place invariants in 111 ms returned unsat
Successfully simplified 5 atomic propositions for a total of 5 simplifications.
[2020-06-03 00:11:33] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-03 00:11:33] [INFO ] Flatten gal took : 240 ms
[2020-06-03 00:11:33] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-03 00:11:33] [INFO ] Flatten gal took : 148 ms
FORMULA PolyORBLF-COL-S04J04T08-CTLFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S04J04T08-CTLFireability-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 00:11:33] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 17 ms.
[2020-06-03 00:11:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 66 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ PolyORBLF-COL-S04J04T08 @ 3570 seconds
check_solution: Constraint R4 = 1e+30 is above its equality of 0
check_solution: Constraint R5 = 1e+30 is above its equality of 0
check_solution: Constraint R6 = 1e+30 is above its equality of 0
check_solution: Constraint R7 = 1e+30 is above its equality of 0
check_solution: Constraint R8 = 1e+30 is above its equality of 0
check_solution: Constraint R9 = 1e+30 is above its equality of 0
check_solution: Constraint R10 = 1e+30 is above its equality of 0
check_solution: Constraint R11 = 1e+30 is above its equality of 0
check_solution: Constraint R12 = 1e+30 is above its equality of 0
check_solution: Constraint R13 = 1e+30 is above its equality of 0
Seriously low accuracy found ||*|| = 1e+30 (rel. error 1e+30)
check_solution: Variable C444 = -2.35103607178 is below its lower bound 0
check_solution: Variable C802 = -0.815661430359 is below its lower bound 0
check_solution: Variable C1160 = -1.40241718292 is below its lower bound 0
check_solution: Variable C1518 = -1.57066726685 is below its lower bound 0
check_solution: Variable C1876 = -0.0179450511932 is below its lower bound 0
check_solution: Constraint R8 = 1 is above its equality of 0
check_solution: Constraint R43 = 0.609326509641 is above its equality of 0
check_solution: Constraint R45 = -1 is below its equality of 0
check_solution: Constraint R79 = -1 is below its equality of 0
check_solution: Constraint R80 = -1 is below its equality of 0
Seriously low accuracy found ||*|| = 1e+30 (rel. error 1e+30)
check_solution: Constraint R4 = 1e+30 is above its equality of 0
check_solution: Constraint R5 = 1e+30 is above its equality of 0
check_solution: Constraint R6 = 1e+30 is above its equality of 0
check_solution: Constraint R7 = 1e+30 is above its equality of 0
check_solution: Constraint R8 = 1e+30 is above its equality of 0
check_solution: Constraint R9 = 1e+30 is above its equality of 0
check_solution: Constraint R10 = 1e+30 is above its equality of 0
check_solution: Constraint R11 = 1e+30 is above its equality of 0
check_solution: Constraint R12 = 1e+30 is above its equality of 0
check_solution: Constraint R13 = 1e+30 is above its equality of 0
Seriously low accuracy found ||*|| = 1e+30 (rel. error 1)
check_solution: Constraint R1 = 6.91928345275e-310 is above its equality of -10
check_solution: Constraint R55 = 22815.2937426 is above its equality of 0
check_solution: Constraint R73 = 0 is above its equality of -9
check_solution: Constraint R95 = 36.5107751314 is above its equality of 0
check_solution: Constraint R141 = 0 is above its equality of -1
check_solution: Constraint R144 = 1 is above its equality of 0
check_solution: Constraint R145 = 1 is above its equality of 0
check_solution: Constraint R146 = 1 is above its equality of 0
check_solution: Constraint R147 = 1 is above its equality of 0
check_solution: Constraint R183 = 1.05576727893 is above its equality of 0
Seriously low accuracy found ||*|| = 22815.3 (rel. error 11407.6)
check_solution: Variable C498 = -0.0542813241482 is below its lower bound 0
check_solution: Variable C1930 = -0.334728479386 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 4.86785834569e-311 is above its equality of -9
check_solution: Constraint R136 = 0.00568214803934 is above its equality of 0
check_solution: Constraint R141 = 2.67795868882e-311 is above its equality of -1
check_solution: Constraint R194 = 4.05088996652e-311 is above its equality of -1
check_solution: Constraint R226 = 5.47050515038e-311 is above its equality of -1
check_solution: Constraint R227 = 4.11879383154e-311 is above its equality of -1
check_solution: Constraint R228 = 5.45565117984e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 6.73923)
check_solution: Constraint R1 = 1.40900520547e-311 is above its equality of -10
check_solution: Constraint R73 = 1.13951173977e-311 is above its equality of -9
check_solution: Constraint R141 = 1.50025102447e-311 is above its equality of -1
check_solution: Constraint R194 = 9.71874072384e-312 is above its equality of -1
check_solution: Constraint R226 = 3.0768938976e-312 is above its equality of -1
check_solution: Constraint R227 = 4.45619117886e-313 is above its equality of -1
check_solution: Constraint R228 = 3.01323402387e-312 is above its equality of -1
check_solution: Constraint R229 = 1.45568911267e-311 is above its equality of -1
check_solution: Constraint R230 = 3.01323402387e-312 is above its equality of -1
check_solution: Constraint R309 = 1.47690907085e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Constraint R1 = 6.91928345275e-310 is above its equality of -10
check_solution: Constraint R73 = 0 is above its equality of -9
check_solution: Constraint R141 = 0 is above its equality of -1
check_solution: Constraint R194 = 0 is above its equality of -1
check_solution: Constraint R226 = 0 is above its equality of -1
check_solution: Constraint R227 = 0 is above its equality of -1
check_solution: Constraint R228 = 0 is above its equality of -1
check_solution: Constraint R229 = 0 is above its equality of -1
check_solution: Constraint R230 = 0 is above its equality of -1
check_solution: Constraint R309 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 0 is above its equality of -9
check_solution: Constraint R141 = 0 is above its equality of -1
check_solution: Constraint R194 = 0 is above its equality of -1
check_solution: Constraint R226 = 0 is above its equality of -1
check_solution: Constraint R227 = 0 is above its equality of -1
check_solution: Constraint R228 = 0 is above its equality of -1
check_solution: Constraint R229 = 0 is above its equality of -1
check_solution: Constraint R230 = 0 is above its equality of -1
check_solution: Constraint R309 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 0 is above its equality of -9
check_solution: Constraint R141 = 0 is above its equality of -1
check_solution: Constraint R194 = 0 is above its equality of -1
check_solution: Constraint R226 = 0 is above its equality of -1
check_solution: Constraint R227 = 0 is above its equality of -1
check_solution: Constraint R228 = 0 is above its equality of -1
check_solution: Constraint R229 = 0 is above its equality of -1
check_solution: Constraint R230 = 0 is above its equality of -1
check_solution: Constraint R309 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R4 = 1e+30 is above its equality of 0
check_solution: Constraint R5 = 1e+30 is above its equality of 0
check_solution: Constraint R6 = 1e+30 is above its equality of 0
check_solution: Constraint R7 = 1e+30 is above its equality of 0
check_solution: Constraint R8 = 1e+30 is above its equality of 0
check_solution: Constraint R9 = 1e+30 is above its equality of 0
check_solution: Constraint R10 = 1e+30 is above its equality of 0
check_solution: Constraint R11 = 1e+30 is above its equality of 0
check_solution: Constraint R12 = 1e+30 is above its equality of 0
Seriously low accuracy found ||*|| = 1e+30 (rel. error 1e+30)
check_solution: Variable C700 = -0.890626907349 is below its lower bound 0
check_solution: Variable C1416 = -0.0223558098078 is below its lower bound 0
check_solution: Variable C1774 = -0.408069133759 is below its lower bound 0
check_solution: Variable C2132 = -0.592911720276 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 5.4896031125e-311 is above its equality of -9
check_solution: Constraint R141 = 4.54107099426e-311 is above its equality of -1
check_solution: Constraint R194 = 6.14529981167e-311 is above its equality of -1
check_solution: Constraint R226 = 5.26042756704e-311 is above its equality of -1
check_solution: Constraint R227 = 5.29862349127e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 44.7311)
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 0 is above its equality of -9
check_solution: Constraint R141 = 0 is above its equality of -1
check_solution: Constraint R194 = 0 is above its equality of -1
check_solution: Constraint R226 = 0 is above its equality of -1
check_solution: Constraint R227 = 0 is above its equality of -1
check_solution: Constraint R228 = 0 is above its equality of -1
check_solution: Constraint R229 = 0 is above its equality of -1
check_solution: Constraint R230 = 0 is above its equality of -1
check_solution: Constraint R309 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C50 = -0.748081207276 is below its lower bound 0
check_solution: Variable C408 = -0.930499076844 is below its lower bound 0
check_solution: Variable C1124 = -1.9571428299 is below its lower bound 0
check_solution: Variable C1482 = -0.0213506519795 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R46 = -0.897697925568 is below its equality of 0
check_solution: Constraint R73 = 4.55168097282e-311 is above its equality of -9
check_solution: Constraint R141 = 5.47474914196e-311 is above its equality of -1
check_solution: Constraint R194 = 6.76704457895e-311 is above its equality of -1
check_solution: Constraint R226 = 6.59728491537e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 20.6625)
check_solution: Variable C216 = -0.0223558098078 is below its lower bound 0
check_solution: Variable C574 = -0.408069133759 is below its lower bound 0
check_solution: Variable C932 = -0.592911720276 is below its lower bound 0
check_solution: Variable C2006 = -0.279447555542 is below its lower bound 0
check_solution: Variable C2364 = -0.355844020844 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 4.62382882976e-311 is above its equality of -9
check_solution: Constraint R141 = 5.18615771442e-311 is above its equality of -1
check_solution: Constraint R194 = 4.70658666589e-311 is above its equality of -1
check_solution: Constraint R212 = -0.890626907349 is below its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 3.57849)
check_solution: Variable C738 = -0.672150135041 is below its lower bound 0
check_solution: Variable C1454 = -0.571736335755 is below its lower bound 0
check_solution: Variable C2528 = -0.0425928235054 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R18 = -0.97926902771 is below its equality of 0
check_solution: Constraint R73 = 4.96547015239e-311 is above its equality of -9
check_solution: Constraint R141 = 6.51664907557e-311 is above its equality of -1
check_solution: Constraint R194 = 4.84239439655e-311 is above its equality of -1
check_solution: Constraint R226 = 4.59412088851e-311 is above its equality of -1
check_solution: Constraint R227 = 5.03761800913e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.74906)
check_solution: Constraint R1 = 6.91928345275e-310 is above its equality of -10
check_solution: Constraint R73 = 5.43655321714e-311 is above its equality of -9
check_solution: Constraint R141 = 5.96705216491e-311 is above its equality of -1
check_solution: Constraint R194 = 4.58775490113e-311 is above its equality of -1
check_solution: Constraint R226 = 5.34742939448e-311 is above its equality of -1
check_solution: Constraint R227 = 5.35167338606e-311 is above its equality of -1
check_solution: Constraint R228 = 5.33894141132e-311 is above its equality of -1
check_solution: Constraint R229 = 5.2901355081e-311 is above its equality of -1
check_solution: Constraint R230 = 5.29437949969e-311 is above its equality of -1
check_solution: Constraint R309 = 6.90709630093e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C576 = -0.676864624024 is below its lower bound 0
check_solution: Variable C1292 = -0.676864624024 is below its lower bound 0
check_solution: Variable C2008 = -2.76421356201 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345275e-310 is above its equality of -10
check_solution: Constraint R73 = 6.8476804179e-311 is above its equality of -9
check_solution: Constraint R141 = 5.5426530073e-311 is above its equality of -1
check_solution: Constraint R194 = 2.93896417178e-311 is above its equality of -1
check_solution: Constraint R214 = -0.582973480225 is below its equality of 0
check_solution: Constraint R226 = 6.75855659534e-311 is above its equality of -1
check_solution: Constraint R227 = 5.94583220727e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 2.76421)
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 0 is above its equality of -9
check_solution: Constraint R141 = 0 is above its equality of -1
check_solution: Constraint R194 = 0 is above its equality of -1
check_solution: Constraint R226 = 0 is above its equality of -1
check_solution: Constraint R227 = 0 is above its equality of -1
check_solution: Constraint R228 = 0 is above its equality of -1
check_solution: Constraint R229 = 0 is above its equality of -1
check_solution: Constraint R230 = 0 is above its equality of -1
check_solution: Constraint R309 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C564 = -4.27669525147 is below its lower bound 0
check_solution: Variable C1280 = -0.0527176558971 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345275e-310 is above its equality of -10
check_solution: Constraint R73 = 6.62487086094e-311 is above its equality of -9
check_solution: Constraint R141 = 4.76388055228e-311 is above its equality of -1
check_solution: Constraint R194 = 1.6657666974e-311 is above its equality of -1
check_solution: Constraint R202 = 0.0341220498085 is above its equality of 0
check_solution: Constraint R226 = 9.54898106152e-313 is above its equality of -1
check_solution: Constraint R227 = 9.97338021981e-313 is above its equality of -1
check_solution: Constraint R228 = 5.72938863563e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 4.2767)
check_solution: Variable C202 = -0.061614215374 is below its lower bound 0
check_solution: Variable C1276 = -1.77141475678 is below its lower bound 0
check_solution: Variable C1992 = -2.28807449341 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 1.66364470133e-311 is above its equality of -9
check_solution: Constraint R141 = 6.74158062916e-311 is above its equality of -1
check_solution: Constraint R194 = 5.75909657828e-311 is above its equality of -1
check_solution: Constraint R198 = 0.0121310502291 is above its equality of 0
check_solution: Constraint R226 = 6.47845315131e-311 is above its equality of -1
check_solution: Constraint R227 = 5.23920760899e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 11.9903)
check_solution: Variable C250 = -0.480743169785 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 5.18191372292e-311 is above its equality of -9
check_solution: Constraint R141 = 5.30711147445e-311 is above its equality of -1
check_solution: Constraint R194 = 4.13789179364e-311 is above its equality of -1
check_solution: Constraint R226 = 2.93896417173e-311 is above its equality of -1
check_solution: Constraint R227 = 5.16918174808e-311 is above its equality of -1
check_solution: Constraint R228 = 4.70658666482e-311 is above its equality of -1
check_solution: Constraint R229 = 6.61213888515e-311 is above its equality of -1
check_solution: Constraint R230 = 5.94583220734e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C552 = -0.582973480225 is below its lower bound 0
check_solution: Variable C1626 = -0.676864624024 is below its lower bound 0
check_solution: Variable C2342 = -0.676864624024 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 5.34318540274e-311 is above its equality of -9
check_solution: Constraint R141 = 4.78722250585e-311 is above its equality of -1
check_solution: Constraint R190 = 0.682651042938 is above its equality of 0
check_solution: Constraint R194 = 0 is above its equality of -1
check_solution: Constraint R226 = 6.54847901244e-311 is above its equality of -1
check_solution: Constraint R227 = 3.31455742701e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.4774)
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 4.51348504843e-311 is above its equality of -9
check_solution: Constraint R141 = 6.18773972758e-311 is above its equality of -1
check_solution: Constraint R194 = 5.95007619935e-311 is above its equality of -1
check_solution: Constraint R226 = 4.21852763398e-311 is above its equality of -1
check_solution: Constraint R227 = 6.72672665895e-311 is above its equality of -1
check_solution: Constraint R228 = 5.92885624105e-311 is above its equality of -1
check_solution: Constraint R229 = 5.57872693538e-311 is above its equality of -1
check_solution: Constraint R230 = 4.74478259017e-311 is above its equality of -1
check_solution: Constraint R309 = 6.56333298294e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C90 = -0.00458275154233 is below its lower bound 0
check_solution: Variable C448 = -0.131821751595 is below its lower bound 0
check_solution: Variable C1164 = -3.95539474487 is below its lower bound 0
check_solution: Variable C1880 = -0.0332756638527 is below its lower bound 0
check_solution: Variable C2238 = -0.973001480103 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 2.96867211221e-311 is above its equality of -9
check_solution: Constraint R86 = 0.0738027691842 is above its equality of 0
check_solution: Constraint R141 = 5.05671597058e-311 is above its equality of -1
check_solution: Constraint R194 = 4.73205061501e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 43.5556)
check_solution: Variable C356 = -0.0326795578003 is below its lower bound 0
check_solution: Variable C714 = -1.30367469788 is below its lower bound 0
check_solution: Variable C1072 = -0.735567092896 is below its lower bound 0
check_solution: Variable C1788 = -0.735567092896 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 5.4620171672e-311 is above its equality of -9
check_solution: Constraint R141 = 3.15752973853e-311 is above its equality of -1
check_solution: Constraint R194 = 6.807362499e-311 is above its equality of -1
check_solution: Constraint R226 = 6.6100168904e-311 is above its equality of -1
check_solution: Constraint R227 = 1.66364470059e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.76493)
check_solution: Variable C84 = -0.0213506519795 is below its lower bound 0
check_solution: Variable C442 = -2.66919517517 is below its lower bound 0
check_solution: Variable C1158 = -2.09867095947 is below its lower bound 0
check_solution: Variable C1516 = -0.560454368592 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 6.9283162582e-311 is above its equality of -9
check_solution: Constraint R80 = 0.0483969151974 is above its equality of 0
check_solution: Constraint R141 = 5.56599496045e-311 is above its equality of -1
check_solution: Constraint R194 = 4.65565876646e-311 is above its equality of -1
check_solution: Constraint R226 = 6.73309264585e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 7.513)
check_solution: Variable C186 = -0.381952285767 is below its lower bound 0
check_solution: Variable C544 = -0.813468933106 is below its lower bound 0
check_solution: Variable C1260 = -0.711785316468 is below its lower bound 0
check_solution: Variable C1976 = -0.683453083039 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 5.32408744077e-311 is above its equality of -9
check_solution: Constraint R141 = 6.86890037673e-311 is above its equality of -1
check_solution: Constraint R182 = -0.0484009385109 is below its equality of 0
check_solution: Constraint R194 = 5.68270472958e-311 is above its equality of -1
check_solution: Constraint R226 = 6.559088991e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.46316)
check_solution: Variable C90 = -1 is below its lower bound 0
check_solution: Variable C91 = -10 is below its lower bound 0
check_solution: Variable C163 = -9 is below its lower bound 0
check_solution: Variable C231 = -1 is below its lower bound 0
check_solution: Variable C284 = -1 is below its lower bound 0
check_solution: Variable C316 = -1 is below its lower bound 0
check_solution: Variable C317 = -1 is below its lower bound 0
check_solution: Variable C318 = -1 is below its lower bound 0
check_solution: Variable C319 = -1 is below its lower bound 0
check_solution: Variable C320 = -1 is below its lower bound 0
Seriously low accuracy found ||*|| = 10 (rel. error 10)
check_solution: Variable C276 = -0.28125 is below its lower bound 0
check_solution: Variable C2066 = -0.0129405334592 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345275e-310 is above its equality of -10
check_solution: Constraint R73 = 4.53258301109e-311 is above its equality of -9
check_solution: Constraint R141 = 6.30444949618e-311 is above its equality of -1
check_solution: Constraint R194 = 5.57023895258e-311 is above its equality of -1
check_solution: Constraint R226 = 5.97129615692e-311 is above its equality of -1
check_solution: Constraint R227 = 6.88163235063e-311 is above its equality of -1
check_solution: Constraint R228 = 5.00578807233e-311 is above its equality of -1
check_solution: Constraint R229 = 4.4392151958e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 88.0094)
check_solution: Variable C715 = -9.42857142857 is below its lower bound 0
check_solution: Variable C717 = -6.85714285714 is below its lower bound 0
check_solution: Variable C727 = -0.857142857143 is below its lower bound 0
check_solution: Variable C729 = -1.5 is below its lower bound 0
check_solution: Variable C731 = -11.1428571429 is below its lower bound 0
check_solution: Variable C735 = -10.2857142857 is below its lower bound 0
check_solution: Variable C741 = -10.7142857143 is below its lower bound 0
check_solution: Variable C749 = -7 is below its lower bound 0
check_solution: Variable C751 = -2.85714285714 is below its lower bound 0
check_solution: Variable C753 = -25 is below its lower bound 0
Seriously low accuracy found ||*|| = 25 (rel. error 25)
check_solution: Variable C34 = -0.711785316468 is below its lower bound 0
check_solution: Variable C750 = -0.683453083039 is below its lower bound 0
check_solution: Variable C1466 = -0.618253231049 is below its lower bound 0
check_solution: Variable C2182 = -0.433012485504 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R30 = -0.813468933106 is below its equality of 0
check_solution: Constraint R73 = 6.59091892827e-311 is above its equality of -9
check_solution: Constraint R141 = 4.64292679171e-311 is above its equality of -1
check_solution: Constraint R194 = 6.86677838105e-311 is above its equality of -1
check_solution: Constraint R226 = 4.61534084585e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.61746)
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 5.31559945761e-311 is above its equality of -9
check_solution: Constraint R141 = 1.99892003649e-311 is above its equality of -1
check_solution: Constraint R194 = 5.7060466826e-311 is above its equality of -1
check_solution: Constraint R226 = 5.50657907909e-311 is above its equality of -1
check_solution: Constraint R227 = 6.5824309451e-311 is above its equality of -1
check_solution: Constraint R228 = 5.50870107488e-311 is above its equality of -1
check_solution: Constraint R229 = 6.58455294089e-311 is above its equality of -1
check_solution: Constraint R230 = 6.44237922291e-311 is above its equality of -1
check_solution: Constraint R309 = 6.25352159739e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 3.54651)
check_solution: Variable C850 = -0.370370149613 is below its lower bound 0
check_solution: Variable C1566 = -0.264428377152 is below its lower bound 0
check_solution: Variable C1924 = -0.366666555405 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 4.99942208508e-311 is above its equality of -9
check_solution: Constraint R130 = -0.877095222473 is below its equality of 0
check_solution: Constraint R141 = 4.85088237953e-311 is above its equality of -1
check_solution: Constraint R194 = 4.7999544807e-311 is above its equality of -1
check_solution: Constraint R226 = 6.88163235115e-311 is above its equality of -1
check_solution: Constraint R227 = 5.96493016952e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 3.78174)
check_solution: Variable C1074 = -0.324366092682 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 1.99892003651e-311 is above its equality of -9
check_solution: Constraint R141 = 5.93310023311e-311 is above its equality of -1
check_solution: Constraint R194 = 4.61958483801e-311 is above its equality of -1
check_solution: Constraint R226 = 4.53682700263e-311 is above its equality of -1
check_solution: Constraint R227 = 6.60577289861e-311 is above its equality of -1
check_solution: Constraint R228 = 6.6100168904e-311 is above its equality of -1
check_solution: Constraint R229 = 4.67475672897e-311 is above its equality of -1
check_solution: Constraint R230 = 6.8540464054e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 4.86511)
check_solution: Variable C228 = -0.234558463097 is below its lower bound 0
check_solution: Variable C1302 = -0.84681224823 is below its lower bound 0
check_solution: Variable C1660 = -0.0682688951493 is below its lower bound 0
check_solution: Variable C2018 = -0.514051437378 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 4.56229095178e-311 is above its equality of -9
check_solution: Constraint R141 = 5.53204302835e-311 is above its equality of -1
check_solution: Constraint R194 = 6.13468983319e-311 is above its equality of -1
check_solution: Constraint R224 = 0.92150592804 is above its equality of 0
check_solution: Constraint R226 = 4.66946883591e-310 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 4.26333)
check_solution: Variable C178 = -0.146151900292 is below its lower bound 0
check_solution: Variable C1610 = -0.19567835331 is below its lower bound 0
check_solution: Variable C1968 = -0.0830422043801 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 1.67849867102e-311 is above its equality of -9
check_solution: Constraint R141 = 1.60422881839e-311 is above its equality of -1
check_solution: Constraint R194 = 1.60422881834e-311 is above its equality of -1
check_solution: Constraint R226 = 1.61908278887e-311 is above its equality of -1
check_solution: Constraint R227 = 1.83128236801e-311 is above its equality of -1
check_solution: Constraint R228 = 1.61908278892e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 12.0421)
check_solution: Variable C84 = -0.108564794064 is below its lower bound 0
check_solution: Variable C442 = -0.027800321579 is below its lower bound 0
check_solution: Variable C1874 = -0.00639916583896 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 5.72090065314e-311 is above its equality of -9
check_solution: Constraint R80 = -0.629033565522 is below its equality of 0
check_solution: Constraint R141 = 6.75431260418e-311 is above its equality of -1
check_solution: Constraint R194 = 4.65565876646e-311 is above its equality of -1
check_solution: Constraint R226 = 3.20845763755e-311 is above its equality of -1
check_solution: Constraint R227 = 4.99093410145e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 191.349)
check_solution: Variable C1872 = -1 is below its lower bound 0
check_solution: Variable C1873 = -1 is below its lower bound 0
check_solution: Variable C1885 = -1 is below its lower bound 0
check_solution: Variable C1886 = -1 is below its lower bound 0
check_solution: Variable C1887 = -1 is below its lower bound 0
check_solution: Variable C1888 = -1 is below its lower bound 0
check_solution: Variable C1889 = -1 is below its lower bound 0
check_solution: Variable C1895 = -1 is below its lower bound 0
check_solution: Variable C1896 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
Seriously low accuracy found ||*|| = 17 (rel. error 10)
check_solution: Variable C330 = -0.497704267502 is below its lower bound 0
check_solution: Variable C688 = -0.0499999821186 is below its lower bound 0
check_solution: Variable C1046 = -0.437270402908 is below its lower bound 0
check_solution: Variable C1404 = -0.212778329849 is below its lower bound 0
check_solution: Variable C1762 = -0.355282068253 is below its lower bound 0
check_solution: Variable C2120 = -0.15158700943 is below its lower bound 0
check_solution: Variable C2478 = -0.486350297928 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 5.24769559256e-311 is above its equality of -9
check_solution: Constraint R141 = 6.27686355107e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 20)
check_solution: Variable C1414 = -0.602639198304 is below its lower bound 0
check_solution: Variable C1772 = -0.525969982148 is below its lower bound 0
check_solution: Variable C2130 = -0.191824316979 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345275e-310 is above its equality of -10
check_solution: Constraint R4 = 11.2390463835 is above its equality of 0
check_solution: Constraint R5 = 12.7375859014 is above its equality of 0
check_solution: Constraint R6 = 11.9883161425 is above its equality of 0
check_solution: Constraint R7 = 13.4868556603 is above its equality of 0
check_solution: Constraint R8 = 6.74342783013 is above its equality of 0
check_solution: Constraint R9 = 4.49561855342 is above its equality of 0
Seriously low accuracy found ||*|| = 63.9045 (rel. error 100.726)
check_solution: Variable C270 = -0.276767730713 is below its lower bound 0
Seriously low accuracy found ||*|| = 10 (rel. error 0.276768)
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 0 is above its equality of -9
check_solution: Constraint R141 = 0 is above its equality of -1
check_solution: Constraint R194 = 0 is above its equality of -1
check_solution: Constraint R226 = 0 is above its equality of -1
check_solution: Constraint R227 = 0 is above its equality of -1
check_solution: Constraint R228 = 0 is above its equality of -1
check_solution: Constraint R229 = 0 is above its equality of -1
check_solution: Constraint R230 = 0 is above its equality of -1
check_solution: Constraint R309 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.24053)
check_solution: Variable C824 = -0.146758794785 is below its lower bound 0
check_solution: Variable C1182 = -0.41782450676 is below its lower bound 0
check_solution: Variable C1898 = -0.0321428477764 is below its lower bound 0
check_solution: Variable C2256 = -0.527973651886 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 3.03869797387e-311 is above its equality of -9
check_solution: Constraint R104 = 0.107142806053 is above its equality of 0
check_solution: Constraint R141 = 6.55272300403e-311 is above its equality of -1
check_solution: Constraint R194 = 5.47050515038e-311 is above its equality of -1
check_solution: Constraint R226 = 5.02276403838e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 31.1111)
check_solution: Constraint R210 = 1e+30 is above its equality of 0
Seriously low accuracy found ||*|| = 1e+30 (rel. error 0.5)
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 0 is above its equality of -9
check_solution: Constraint R141 = 0 is above its equality of -1
check_solution: Constraint R194 = 0 is above its equality of -1
check_solution: Constraint R226 = 0 is above its equality of -1
check_solution: Constraint R227 = 0 is above its equality of -1
check_solution: Constraint R228 = 0 is above its equality of -1
check_solution: Constraint R229 = 0 is above its equality of -1
check_solution: Constraint R230 = 0 is above its equality of -1
check_solution: Constraint R312 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C2116 = -0.0827544331551 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 5.35167338532e-311 is above its equality of -9
check_solution: Constraint R141 = 6.55696699513e-311 is above its equality of -1
check_solution: Constraint R194 = 5.24132960523e-311 is above its equality of -1
check_solution: Constraint R226 = 5.27740353336e-311 is above its equality of -1
check_solution: Constraint R227 = 5.28164752494e-311 is above its equality of -1
check_solution: Constraint R228 = 5.28589151652e-311 is above its equality of -1
check_solution: Constraint R229 = 5.73999861579e-311 is above its equality of -1
check_solution: Constraint R230 = 5.3580393729e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 12.0839)
check_solution: Variable C168 = -0.116464793682 is below its lower bound 0
check_solution: Variable C526 = -0.487244129181 is below its lower bound 0
check_solution: Variable C884 = -0.497704267502 is below its lower bound 0
check_solution: Variable C1242 = -0.0499999821186 is below its lower bound 0
check_solution: Variable C1600 = -0.437270402908 is below its lower bound 0
check_solution: Variable C1958 = -0.212778329849 is below its lower bound 0
check_solution: Variable C2316 = -0.355282068253 is below its lower bound 0
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R73 = 5.93522222853e-311 is above its equality of -9
check_solution: Constraint R141 = 5.42594323911e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 4.69973)
check_solution: Constraint R1 = 6.91928345276e-310 is above its equality of -10
check_solution: Constraint R4 = 1 is above its equality of 0
check_solution: Constraint R5 = 1 is above its equality of 0
check_solution: Constraint R6 = 1 is above its equality of 0
check_solution: Constraint R7 = 1 is above its equality of 0
check_solution: Constraint R8 = 1 is above its equality of 0
check_solution: Constraint R9 = 1 is above its equality of 0
check_solution: Constraint R10 = 1 is above its equality of 0
check_solution: Constraint R11 = 1 is above its equality of 0
check_solution: Constraint R12 = 1 is above its equality of 0
Seriously low accuracy found ||*|| = 11 (rel. error 2)
check_solution: Constraint R1 = 6.91928345275e-310 is above its equality of -10
check_solution: Constraint R73 = 4.59836488062e-311 is above its equality of -9
check_solution: Constraint R141 = 6.75431260394e-311 is above its equality of -1
check_solution: Constraint R194 = 5.75697458223e-311 is above its equality of -1
check_solution: Constraint R226 = 6.83070445186e-311 is above its equality of -1
check_solution: Constraint R227 = 5.90551428778e-311 is above its equality of -1
check_solution: Constraint R228 = 4.85088237953e-311 is above its equality of -1
check_solution: Constraint R229 = 5.39411330202e-311 is above its equality of -1
check_solution: Constraint R230 = 5.92461224975e-311 is above its equality of -1
check_solution: Constraint R309 = 4.56653494343e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C1326 = -0.421132326126 is below its lower bound 0
check_solution: Variable C1684 = -1.38640594482 is below its lower bound 0
check_solution: Variable C2042 = -0.936447620392 is below its lower bound 0
check_solution: Variable C2400 = -0.0388216078282 is below its lower bound 0
check_solution: Constraint R1 = 4.64292679171e-311 is above its equality of -10
check_solution: Constraint R73 = 5.20949966724e-311 is above its equality of vrfy: finished
info: timeLeft: -1
rslt: Output for CTLFireability @ PolyORBLF-COL-S04J04T08
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Jun 3 00:11:33 2020
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5170148,
"runtime": 3571.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"net":
{
"arcs": 9400,
"conflict_clusters": 275,
"places": 712,
"places_significant": 658,
"singleton_clusters": 0,
"transitions": 1844
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2556/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 22784
lola: finding significant places
lola: 712 places, 1844 transitions, 658 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: LP says that atomic proposition is always false: (3 <= p548)
lola: LP says that atomic proposition is always false: (3 <= p551)
lola: LP says that atomic proposition is always false: (3 <= p548)
lola: LP says that atomic proposition is always false: (3 <= p549)
lola: LP says that atomic proposition is always false: (3 <= p551)
lola: LP says that atomic proposition is always false: (3 <= p548)
lola: time limit reached - aborting
lola: memory consumption: 5170148 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
rslt: finished
--------------------
content from stderr:
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="PolyORBLF-COL-S04J04T08"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itslola"
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 itslola"
echo " Input is PolyORBLF-COL-S04J04T08, 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 r176-tajo-158987871700324"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S04J04T08.tgz
mv PolyORBLF-COL-S04J04T08 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 '
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 ;