Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2021-input.r170-oct2-162089287000066.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is PolyORBLF-COL-S04J04T08, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-162089287000066
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 608K
-rw-r--r-- 1 mcc users 27K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 169K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 91K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.1K Mar 28 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Mar 27 09:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 09:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 11:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 11:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Mar 22 09:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 10 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 154K May 5 16:51 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-00
FORMULA_NAME PolyORBLF-COL-S04J04T08-01
FORMULA_NAME PolyORBLF-COL-S04J04T08-02
FORMULA_NAME PolyORBLF-COL-S04J04T08-03
FORMULA_NAME PolyORBLF-COL-S04J04T08-04
FORMULA_NAME PolyORBLF-COL-S04J04T08-05
FORMULA_NAME PolyORBLF-COL-S04J04T08-06
FORMULA_NAME PolyORBLF-COL-S04J04T08-07
FORMULA_NAME PolyORBLF-COL-S04J04T08-08
FORMULA_NAME PolyORBLF-COL-S04J04T08-09
FORMULA_NAME PolyORBLF-COL-S04J04T08-10
FORMULA_NAME PolyORBLF-COL-S04J04T08-11
FORMULA_NAME PolyORBLF-COL-S04J04T08-12
FORMULA_NAME PolyORBLF-COL-S04J04T08-13
FORMULA_NAME PolyORBLF-COL-S04J04T08-14
FORMULA_NAME PolyORBLF-COL-S04J04T08-15

=== Now, execution of the tool begins

BK_START 1621375787697

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-18 22:09:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-18 22:09:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 22:09:49] [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.
[2021-05-18 22:09:50] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 580 ms
[2021-05-18 22:09:50] [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,

[2021-05-18 22:09:50] [INFO ] ms2 symmetric to ms1 in transition T_1124
[2021-05-18 22:09:50] [INFO ] ms3 symmetric to ms2 in transition T_1125
[2021-05-18 22:09:50] [INFO ] ms2 symmetric to ms1 in transition T_1125
[2021-05-18 22:09:50] [INFO ] ms3 symmetric to ms2 in transition T_1126
[2021-05-18 22:09:50] [INFO ] ms2 symmetric to ms1 in transition T_1126
[2021-05-18 22:09:50] [INFO ] ms1 symmetric to ms4 in transition T_1126
[2021-05-18 22:09:50] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 712 PT places and 4080.0 transition bindings in 24 ms.
[2021-05-18 22:09:50] [INFO ] Computed order based on color domains.
[2021-05-18 22:09:50] [INFO ] Unfolded HLPN to a Petri net with 712 places and 1844 transitions in 31 ms.
[2021-05-18 22:09:50] [INFO ] Unfolded HLPN properties in 1 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 65 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 8824 steps, including 1 resets, run visited all 84 properties in 80 ms. (steps per millisecond=110 )
[2021-05-18 22:09:50] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-18 22:09:50] [INFO ] Flatten gal took : 202 ms
FORMULA PolyORBLF-COL-S04J04T08-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S04J04T08-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S04J04T08-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-18 22:09:50] [INFO ] Applying decomposition
[2021-05-18 22:09:50] [INFO ] Flatten gal took : 138 ms
[2021-05-18 22:09:50] [INFO ] Decomposing Gal with order
[2021-05-18 22:09:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 22:09:51] [INFO ] Removed a total of 7099 redundant transitions.
[2021-05-18 22:09:51] [INFO ] Flatten gal took : 348 ms
[2021-05-18 22:09:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 80 labels/synchronizations in 46 ms.
[2021-05-18 22:09:51] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 16 ms.
[2021-05-18 22:09:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 15 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ PolyORBLF-COL-S04J04T08 @ 3570 seconds
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 5.4620171672e-311 is above its equality of -9
check_solution: Constraint R141 = 6.36810937026e-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.66364470078e-311 is above its equality of -1
check_solution: Constraint R228 = 2.49758904655e-311 is above its equality of -1
check_solution: Constraint R229 = 2.50183303813e-311 is above its equality of -1
check_solution: Constraint R230 = 2.50607702971e-311 is above its equality of -1
check_solution: Constraint R309 = 4.99305609668e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 2.42222)
check_solution: Variable C28 = -3.38887405396 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 4.96122616081e-311 is above its equality of -9
check_solution: Constraint R141 = 6.5039171009e-311 is above its equality of -1
check_solution: Constraint R194 = 4.44345918701e-311 is above its equality of -1
check_solution: Constraint R226 = 6.81585048217e-311 is above its equality of -1
check_solution: Constraint R227 = 6.8179724775e-311 is above its equality of -1
check_solution: Constraint R228 = 6.82221646902e-311 is above its equality of -1
check_solution: Constraint R229 = 4.56653494354e-311 is above its equality of -1
check_solution: Constraint R230 = 4.5707789348e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 3.38887)
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: Variable C16 = -3.1048701727e+231 is below its lower bound 0
check_solution: Variable C413 = -1 is below its lower bound 0
check_solution: Variable C456 = -3.1048701727e+231 is below its lower bound 0
check_solution: Variable C844 = -0.0841536521912 is below its lower bound 0
check_solution: Variable C853 = -1 is below its lower bound 0
check_solution: Variable C1293 = -1 is below its lower bound 0
check_solution: Variable C1336 = -3.1048701727e+231 is below its lower bound 0
check_solution: Variable C1724 = -0.0841536521912 is below its lower bound 0
check_solution: Variable C1733 = -1 is below its lower bound 0
check_solution: Variable C1776 = -3.1048701727e+231 is below its lower bound 0

Seriously low accuracy found ||*|| = 3.10487e+231 (rel. error 3.10487e+231)
check_solution: Variable C204 = -1 is below its lower bound 0
check_solution: Variable C1602 = -1 is below its lower bound 0
check_solution: Variable C1642 = -1 is below its lower bound 0
check_solution: Variable C1802 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 1.5151049951e-311 is above its equality of -9
check_solution: Constraint R141 = 1.5151049951e-311 is above its equality of -1
check_solution: Constraint R183 = -1 is below its equality of 0
check_solution: Constraint R184 = 2.25 is above its equality of 0
check_solution: Constraint R188 = 1.24498966713 is above its equality of 0

Seriously low accuracy found ||*|| = 10 (rel. error 1.125)
check_solution: Variable C374 = -2.48790931702 is below its lower bound 0
check_solution: Variable C1090 = -2.00478935242 is below its lower bound 0
check_solution: Variable C2522 = -3.10554885864 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R12 = -0.0776432156563 is below its equality of 0
check_solution: Constraint R73 = 5.17979172693e-311 is above its equality of -9
check_solution: Constraint R141 = 6.78826453688e-311 is above its equality of -1
check_solution: Constraint R194 = 5.73575462436e-311 is above its equality of -1
check_solution: Constraint R226 = 4.60473086745e-311 is above its equality of -1
check_solution: Constraint R227 = 4.96759214819e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 5.51975)
check_solution: Constraint R1 = 6.92045801686e-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 C1354 = -1.31139469147 is below its lower bound 0
check_solution: Variable C1712 = -3.25375556946 is below its lower bound 0
check_solution: Variable C2070 = -0.238597989082 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-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 = 2.12199579146e-314 is above its equality of -1
check_solution: Constraint R226 = 2.12199579146e-314 is above its equality of -1
check_solution: Constraint R227 = 0 is above its equality of -1
check_solution: Constraint R228 = 2.12199579146e-314 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 3.25376)
check_solution: Variable C40 = -1.52560901642 is below its lower bound 0
check_solution: Variable C398 = -0.0776432156563 is below its lower bound 0
check_solution: Variable C756 = -0.0803571343422 is below its lower bound 0
check_solution: Variable C1472 = -2.48790931702 is below its lower bound 0
check_solution: Variable C2188 = -2.00478935242 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R36 = 0.124522566795 is above its equality of 0
check_solution: Constraint R73 = 6.55272300403e-311 is above its equality of -9
check_solution: Constraint R141 = 6.45298920182e-311 is above its equality of -1
check_solution: Constraint R194 = 6.23866762681e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 12.4444)
check_solution: Variable C70 = -0.314360380173 is below its lower bound 0
check_solution: Variable C428 = -0.255021572113 is below its lower bound 0
check_solution: Variable C1144 = -0.681211948395 is below its lower bound 0
check_solution: Variable C1502 = -0.230576753616 is below its lower bound 0
check_solution: Variable C2218 = -0.10504668951 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R66 = 0.147942900658 is above its equality of 0
check_solution: Constraint R73 = 5.92036825802e-311 is above its equality of -9
check_solution: Constraint R141 = 4.74478258999e-311 is above its equality of -1
check_solution: Constraint R194 = 6.78402054509e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 15.4797)
check_solution: Variable C346 = -0.314360380173 is below its lower bound 0
check_solution: Variable C704 = -0.255021572113 is below its lower bound 0
check_solution: Variable C1420 = -0.681211948395 is below its lower bound 0
check_solution: Variable C1778 = -0.230576753616 is below its lower bound 0
check_solution: Variable C2494 = -0.10504668951 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 5.43655321787e-311 is above its equality of -9
check_solution: Constraint R141 = 4.92303023617e-311 is above its equality of -1
check_solution: Constraint R194 = 4.56441294744e-311 is above its equality of -1
check_solution: Constraint R226 = 4.62807282117e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 2.5447)
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 1.52995896564e-311 is above its equality of -9
check_solution: Constraint R141 = 1.81855039328e-311 is above its equality of -1
check_solution: Constraint R194 = 2.04348194717e-311 is above its equality of -1
check_solution: Constraint R226 = 2.17928967783e-311 is above its equality of -1
check_solution: Constraint R227 = 2.18353366941e-311 is above its equality of -1
check_solution: Constraint R228 = 2.18777766099e-311 is above its equality of -1
check_solution: Constraint R229 = 2.19202165258e-311 is above its equality of -1
check_solution: Constraint R230 = 2.19626564416e-311 is above its equality of -1
check_solution: Constraint R309 = 2.53154097921e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C636 = -1.67065811157 is below its lower bound 0
check_solution: Variable C994 = -0.110918879509 is below its lower bound 0
check_solution: Variable C1352 = -1.06753253937 is below its lower bound 0
check_solution: Variable C1710 = -0.28125 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 6.85404640624e-311 is above its equality of -9
check_solution: Constraint R141 = 1.990432053e-311 is above its equality of -1
check_solution: Constraint R194 = 5.56811695679e-311 is above its equality of -1
check_solution: Constraint R226 = 6.71399468373e-311 is above its equality of -1
check_solution: Constraint R227 = 4.92515223209e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 3.55556)
check_solution: Variable C408 = -1 is below its lower bound 0
check_solution: Variable C1806 = -1 is below its lower bound 0
check_solution: Variable C1846 = -1 is below its lower bound 0
check_solution: Variable C2006 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-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

Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C1348 = -0.136664748192 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 6.82009447376e-311 is above its equality of -9
check_solution: Constraint R141 = 6.62487086094e-311 is above its equality of -1
check_solution: Constraint R194 = 5.57236094837e-311 is above its equality of -1
check_solution: Constraint R226 = 5.90339229184e-311 is above its equality of -1
check_solution: Constraint R227 = 5.95219819462e-311 is above its equality of -1
check_solution: Constraint R228 = 5.26254956316e-311 is above its equality of -1
check_solution: Constraint R229 = 6.86890037673e-311 is above its equality of -1
check_solution: Constraint R230 = 6.87314436815e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1.01833)
check_solution: Variable C340 = -0.399307966232 is below its lower bound 0
check_solution: Variable C698 = -2.22055053711 is below its lower bound 0
check_solution: Variable C1056 = -0.162037968636 is below its lower bound 0
check_solution: Variable C1414 = -2.00478935242 is below its lower bound 0
check_solution: Variable C1772 = -0.427870750427 is below its lower bound 0
check_solution: Variable C2130 = -0.0883843302727 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 5.47474914196e-311 is above its equality of -9
check_solution: Constraint R141 = 5.73363262826e-311 is above its equality of -1
check_solution: Constraint R194 = 4.61109685498e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 11.3142)
check_solution: Variable C1094 = -1.67065811157 is below its lower bound 0
check_solution: Variable C1452 = -0.110918879509 is below its lower bound 0
check_solution: Variable C1810 = -1.06753253937 is below its lower bound 0
check_solution: Variable C2168 = -0.28125 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R16 = -0.451742172241 is below its equality of 0
check_solution: Constraint R73 = 5.68482672505e-311 is above its equality of -9
check_solution: Constraint R141 = 5.10339987797e-311 is above its equality of -1
check_solution: Constraint R194 = 6.59091892743e-311 is above its equality of -1
check_solution: Constraint R226 = 4.59836488009e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1.67066)
check_solution: Variable C781 = -0.857142857143 is below its lower bound 0
check_solution: Variable C785 = -6.14285714286 is below its lower bound 0
check_solution: Variable C833 = -29.8571428571 is below its lower bound 0
check_solution: Variable C843 = -32.5714285714 is below its lower bound 0
check_solution: Variable C935 = -1.33333333333 is below its lower bound 0
check_solution: Variable C943 = -11.4285714286 is below its lower bound 0
check_solution: Variable C951 = -6.5 is below its lower bound 0
check_solution: Variable C983 = -0.75 is below its lower bound 0
check_solution: Variable C1591 = -0.5 is below its lower bound 0
check_solution: Variable C1671 = -0.8 is below its lower bound 0

Seriously low accuracy found ||*|| = 32.5714 (rel. error 32.5714)
check_solution: Variable C646 = -0.723514080048 is below its lower bound 0
check_solution: Variable C1004 = -1.30007171631 is below its lower bound 0
check_solution: Variable C1362 = -0.61112689972 is below its lower bound 0
check_solution: Variable C1720 = -0.293164014816 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 6.73521464153e-311 is above its equality of -9
check_solution: Constraint R141 = 4.96759214791e-311 is above its equality of -1
check_solution: Constraint R194 = 6.29596151292e-311 is above its equality of -1
check_solution: Constraint R226 = 6.70550670022e-311 is above its equality of -1
check_solution: Constraint R227 = 2.16655770384e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 3.41106)
check_solution: Variable C664 = -2.58455276489 is below its lower bound 0
check_solution: Variable C1022 = -0.91054391861 is below its lower bound 0
check_solution: Variable C2096 = -0.602639198304 is below its lower bound 0
check_solution: Variable C2454 = -0.525969982148 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 6.78826453688e-311 is above its equality of -9
check_solution: Constraint R141 = 4.61321885078e-311 is above its equality of -1
check_solution: Constraint R194 = 5.32833143236e-311 is above its equality of -1
check_solution: Constraint R226 = 5.57236094837e-311 is above its equality of -1
check_solution: Constraint R227 = 4.97820212691e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 3.39874)
check_solution: Variable C1068 = -0.323828935623 is below its lower bound 0
check_solution: Variable C1426 = -0.626753330231 is below its lower bound 0
check_solution: Variable C2142 = -0.548679351807 is below its lower bound 0
check_solution: Variable C2500 = -0.723038673401 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 5.42806523456e-311 is above its equality of -9
check_solution: Constraint R141 = 6.77977655371e-311 is above its equality of -1
check_solution: Constraint R194 = 4.553802969e-311 is above its equality of -1
check_solution: Constraint R226 = 2.50607702971e-311 is above its equality of -1
check_solution: Constraint R227 = 4.65778076254e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1.82256)
check_solution: Variable C408 = -1 is below its lower bound 0
check_solution: Variable C1806 = -1 is below its lower bound 0
check_solution: Variable C1846 = -1 is below its lower bound 0
check_solution: Variable C2006 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R43 = -0.990477922264 is below its equality of 0
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 R165 = -0.990477922264 is below its equality of 0
check_solution: Constraint R166 = -0.990477922264 is below its equality of 0

Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C994 = -0.602639198304 is below its lower bound 0
check_solution: Variable C1352 = -0.525969982148 is below its lower bound 0
check_solution: Variable C1710 = -0.191824316979 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 6.85404640624e-311 is above its equality of -9
check_solution: Constraint R141 = 1.990432053e-311 is above its equality of -1
check_solution: Constraint R194 = 5.56811695679e-311 is above its equality of -1
check_solution: Constraint R226 = 6.71399468373e-311 is above its equality of -1
check_solution: Constraint R227 = 4.92515223209e-311 is above its equality of -1
check_solution: Constraint R228 = 5.97129615692e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 5.2131)
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 4.64292679171e-311 is above its equality of -9
check_solution: Constraint R141 = 4.51560704439e-311 is above its equality of -1
check_solution: Constraint R194 = 6.6100168904e-311 is above its equality of -1
check_solution: Constraint R226 = 5.28589151652e-311 is above its equality of -1
check_solution: Constraint R227 = 5.74212061158e-311 is above its equality of -1
check_solution: Constraint R228 = 5.35803937361e-311 is above its equality of -1
check_solution: Constraint R229 = 6.38932932804e-311 is above its equality of -1
check_solution: Constraint R230 = 6.72672665828e-311 is above its equality of -1
check_solution: Constraint R309 = 2.97716009525e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1.33463)
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R4 = 0.936811884704 is above its equality of 0
check_solution: Constraint R5 = 0.936811884704 is above its equality of 0
check_solution: Constraint R6 = 0.936811884704 is above its equality of 0
check_solution: Constraint R7 = 0.936811884704 is above its equality of 0
check_solution: Constraint R8 = 0.936811884704 is above its equality of 0
check_solution: Constraint R9 = 0.936811884704 is above its equality of 0
check_solution: Constraint R10 = 0.936811884704 is above its equality of 0
check_solution: Constraint R11 = 0.936811884704 is above its equality of 0
check_solution: Constraint R12 = 0.936811884704 is above its equality of 0

Seriously low accuracy found ||*|| = 10.9832 (rel. error 2.3612)
check_solution: Variable C298 = -0.212778329849 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 6.73945863318e-311 is above its equality of -9
check_solution: Constraint R141 = 4.56653494322e-311 is above its equality of -1
check_solution: Constraint R194 = 4.6959766865e-311 is above its equality of -1
check_solution: Constraint R226 = 5.39623529768e-311 is above its equality of -1
check_solution: Constraint R227 = 5.40047928926e-311 is above its equality of -1
check_solution: Constraint R228 = 5.15432777748e-311 is above its equality of -1
check_solution: Constraint R229 = 5.4089672726e-311 is above its equality of -1
check_solution: Constraint R230 = 3.02808799492e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1)
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 5e+29)
check_solution: Variable C1214 = -0.0129405334592 is below its lower bound 0
check_solution: Variable C1930 = -0.0625111460686 is below its lower bound 0
check_solution: Variable C2288 = -0.00248778983951 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 5.93310023203e-311 is above its equality of -9
check_solution: Constraint R136 = -0.28125 is below its equality of 0
check_solution: Constraint R141 = 3.08538188112e-311 is above its equality of -1
check_solution: Constraint R194 = 2.96230612575e-311 is above its equality of -1
check_solution: Constraint R226 = 5.47050515038e-311 is above its equality of -1
check_solution: Constraint R227 = 5.87580634646e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 401.963)
check_solution: Variable C918 = -0.384500980377 is below its lower bound 0
check_solution: Variable C1634 = -0.0827544331551 is below its lower bound 0
check_solution: Variable C2350 = -1.53785991669 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 1.56603289412e-311 is above its equality of -9
check_solution: Constraint R141 = 2.6036888359e-311 is above its equality of -1
check_solution: Constraint R194 = 1.546934932e-311 is above its equality of -1
check_solution: Constraint R226 = 1.64879073019e-311 is above its equality of -1
check_solution: Constraint R227 = 2.6206648022e-311 is above its equality of -1
check_solution: Constraint R228 = 1.546934932e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 12.0839)
check_solution: Variable C300 = -0.212778329849 is below its lower bound 0
check_solution: Variable C658 = -0.355282068253 is below its lower bound 0
check_solution: Variable C1016 = -0.15158700943 is below its lower bound 0
check_solution: Variable C1374 = -0.486350297928 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 6.73733663754e-311 is above its equality of -9
check_solution: Constraint R141 = 5.91188027468e-311 is above its equality of -1
check_solution: Constraint R194 = 5.31984344919e-311 is above its equality of -1
check_solution: Constraint R226 = 1.99255404932e-311 is above its equality of -1
check_solution: Constraint R227 = 5.2561835757e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C96 = -3.55844116211 is below its lower bound 0
check_solution: Variable C454 = -0.255395412445 is below its lower bound 0
check_solution: Variable C2244 = -1.84391975403 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 6.57182096591e-311 is above its equality of -9
check_solution: Constraint R92 = -0.573829650879 is below its equality of 0
check_solution: Constraint R141 = 6.5824309451e-311 is above its equality of -1
check_solution: Constraint R194 = 5.38350332293e-311 is above its equality of -1
check_solution: Constraint R226 = 4.56229095178e-311 is above its equality of -1
check_solution: Constraint R227 = 6.73733663756e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 3.55844)
check_solution: Variable C840 = -0.0625111460686 is below its lower bound 0
check_solution: Variable C1198 = -0.00248778983951 is below its lower bound 0
check_solution: Variable C1556 = -0.490250110626 is below its lower bound 0
check_solution: Variable C1914 = -1.31199741364 is below its lower bound 0
check_solution: Variable C2272 = -1.07456684113 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R4 = 5.99415807123 is above its equality of 0
check_solution: Constraint R5 = 16.4839346959 is above its equality of 0
check_solution: Constraint R6 = 6.74342783013 is above its equality of 0
check_solution: Constraint R7 = 17.2332044548 is above its equality of 0

Seriously low accuracy found ||*|| = 64.9045 (rel. error 56.446)
check_solution: Variable C470 = -0.50731420517 is below its lower bound 0
check_solution: Variable C1544 = -0.511393070221 is below its lower bound 0
check_solution: Variable C1902 = -0.116464793682 is below its lower bound 0
check_solution: Variable C2260 = -0.487244129181 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 4.44558118327e-311 is above its equality of -9
check_solution: Constraint R108 = -0.0321428477764 is below its equality of 0
check_solution: Constraint R141 = 5.50657907884e-311 is above its equality of -1
check_solution: Constraint R194 = 6.1474218077e-311 is above its equality of -1
check_solution: Constraint R226 = 5.12674183167e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 8.58629)
check_solution: Variable C140 = -0.437270402908 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 5.93310023299e-311 is above its equality of -9
check_solution: Constraint R136 = -0.497704267502 is below its equality of 0
check_solution: Constraint R141 = 2.16867969942e-311 is above its equality of -1
check_solution: Constraint R194 = 2.97079410892e-311 is above its equality of -1
check_solution: Constraint R226 = 5.47050515038e-311 is above its equality of -1
check_solution: Constraint R227 = 5.87580634646e-311 is above its equality of -1
check_solution: Constraint R228 = 5.45565117984e-311 is above its equality of -1
check_solution: Constraint R229 = 5.4896031125e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C1946 = -0.776696205139 is below its lower bound 0
check_solution: Variable C2304 = -1.69844532013 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-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
check_solution: Constraint R10 = 2.24780927671 is above its equality of 0

Seriously low accuracy found ||*|| = 63.9045 (rel. error 40.7113)
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: Variable C302 = -0.512797832489 is below its lower bound 0
check_solution: Variable C1376 = -0.146758794785 is below its lower bound 0
check_solution: Variable C1734 = -0.41782450676 is below its lower bound 0
check_solution: Variable C2450 = -0.0321428477764 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 6.55696699522e-311 is above its equality of -9
check_solution: Constraint R141 = 6.81160649058e-311 is above its equality of -1
check_solution: Constraint R194 = 5.31135546602e-311 is above its equality of -1
check_solution: Constraint R226 = 5.57660493995e-311 is above its equality of -1
check_solution: Constraint R227 = 6.17076376143e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 2.39335)
check_solution: Variable C184 = -0.776696205139 is below its lower bound 0
check_solution: Variable C542 = -1.69844532013 is below its lower bound 0
check_solution: Variable C900 = -0.451742172241 is below its lower bound 0
check_solution: Variable C1258 = -3.01951980591 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 6.24927760555e-311 is above its equality of -9
check_solution: Constraint R141 = 4.57077893534e-311 is above its equality of -1
check_solution: Constraint R180 = 0.206766843796 is above its equality of 0
check_solution: Constraint R194 = 5.62965483456e-311 is above its equality of -1
check_solution: Constraint R226 = 5.37925933163e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 3.01952)
check_solution: Constraint R1 = 6.92045801686e-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 C360 = -1.25299358368 is below its lower bound 0
check_solution: Variable C718 = -0.419925689697 is below its lower bound 0
check_solution: Variable C1076 = -0.840904712677 is below its lower bound 0
check_solution: Variable C2508 = -0.440678834915 is below its lower bound 0
check_solution: Constraint R1 = 5.39199130622e-311 is above its equality of -10
check_solution: Constraint R73 = 4.78510051002e-311 is above its equality of -9
check_solution: Constraint R141 = 4.89120029978e-311 is above its equality of -1
check_solution: Constraint R194 = 4.52833901898e-311 is above its equality of -1
check_solution: Constraint R226 = 6.62062686935e-311 is above its equality of -1
check_solution: Constraint R227 = 6.62487086094e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 2.38137)
check_solution: Variable C304 = -0.0443675518036 is below its lower bound 0
check_solution: Variable C662 = -2.81440353394 is below its lower bound 0
check_solution: Variable C2452 = -2.24907302857 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 1.77611047745e-311 is above its equality of -9
check_solution: Constraint R141 = 2.06470190509e-311 is above its equality of -1
check_solution: Constraint R194 = 2.28963345898e-311 is above its equality of -1
check_solution: Constraint R226 = 2.42544118964e-311 is above its equality of -1
check_solution: Constraint R227 = 2.42968518122e-311 is above its equality of -1
check_solution: Constraint R228 = 2.4339291728e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 2.8144)
check_solution: Constraint R1 = 6.92045801685e-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 R204 = 1 is above its equality of 0
check_solution: Constraint R205 = 1 is above its equality of 0
check_solution: Constraint R206 = 17.4283178197 is above its equality of 0
check_solution: Constraint R207 = 1 is above its equality of 0
check_solution: Constraint R208 = 1 is above its equality of 0
check_solution: Constraint R209 = 1 is above its equality of 0

Seriously low accuracy found ||*|| = 558.927 (rel. error 3.38749)
check_solution: Variable C298 = -2.28410720825 is below its lower bound 0
check_solution: Variable C1014 = -0.567408561707 is below its lower bound 0
check_solution: Variable C1372 = -0.621145725251 is below its lower bound 0
check_solution: Variable C2088 = -1.3235502243 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 6.73945863318e-311 is above its equality of -9
check_solution: Constraint R141 = 4.56653494322e-311 is above its equality of -1
check_solution: Constraint R194 = 4.6959766865e-311 is above its equality of -1
check_solution: Constraint R226 = 5.39623529768e-311 is above its equality of -1
check_solution: Constraint R227 = 5.40047928926e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 5.10496e+11)
check_solution: Variable C230 = -0.723514080048 is below its lower bound 0

Seriously low accuracy found ||*|| = 10 (rel. error 0.723514)
check_solution: Variable C54 = -0.295109272003 is below its lower bound 0
check_solution: Variable C1128 = -1.51032733917 is below its lower bound 0
check_solution: Variable C1844 = -1.81279468536 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R4 = 19.3995878434 is above its equality of 0
check_solution: Constraint R5 = 27.8386184713 is above its equality of 0
check_solution: Constraint R6 = 14.2361254192 is above its equality of 0
check_solution: Constraint R7 = 21.6818922956 is above its equality of 0
check_solution: Constraint R8 = 11.9883161425 is above its equality of 0
check_solution: Constraint R9 = 29.0489931874 is above its equality of 0

Seriously low accuracy found ||*|| = 122.88 (rel. error 72.9299)
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 4.90181027828e-311 is above its equality of -9
check_solution: Constraint R122 = -1.3044052124 is below its equality of 0
check_solution: Constraint R141 = 5.15644977278e-311 is above its equality of -1
check_solution: Constraint R194 = 3.92993620561e-311 is above its equality of -1
check_solution: Constraint R226 = 6.72672665861e-311 is above its equality of -1
check_solution: Constraint R227 = 6.48057514711e-311 is above its equality of -1
check_solution: Constraint R228 = 6.01373607282e-311 is above its equality of -1
check_solution: Constraint R229 = 6.83919243557e-311 is above its equality of -1
check_solution: Constraint R230 = 5.24557359651e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C360 = -0.0766203403473 is below its lower bound 0
check_solution: Variable C1434 = -0.5307970047 is below its lower bound 0
check_solution: Variable C1792 = -0.126170158386 is below its lower bound 0
check_solution: Variable C2150 = -0.621145725251 is below its lower bound 0
check_solution: Variable C2508 = -1.03752803803 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 6.13681182798e-311 is above its equality of -9
check_solution: Constraint R141 = 4.89120029929e-311 is above its equality of -1
check_solution: Constraint R194 = 4.61321885063e-311 is above its equality of -1
check_solution: Constraint R226 = 6.61850487356e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 21.4709)
check_solution: Variable C552 = -0.828194141388 is below its lower bound 0
check_solution: Variable C1626 = -0.0669642686844 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 5.32408744062e-311 is above its equality of -9
check_solution: Constraint R141 = 5.17554773513e-311 is above its equality of -1
check_solution: Constraint R190 = -0.0967318415642 is below its equality of 0
check_solution: Constraint R194 = 5.21798765117e-311 is above its equality of -1
check_solution: Constraint R226 = 6.54847901248e-311 is above its equality of -1
check_solution: Constraint R227 = 5.3835033232e-311 is above its equality of -1
check_solution: Constraint R228 = 4.69173269498e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 6.22222)
check_solution: Variable C440 = -0.257025718689 is below its lower bound 0
check_solution: Variable C1156 = -0.186343669891 is below its lower bound 0
check_solution: Variable C2230 = -0.24155664444 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 4.81056445904e-311 is above its equality of -9
check_solution: Constraint R78 = -0.0967318415642 is below its equality of 0
check_solution: Constraint R141 = 4.71719664451e-311 is above its equality of -1
check_solution: Constraint R194 = 4.88271231614e-311 is above its equality of -1
check_solution: Constraint R226 = 6.76704457895e-311 is above its equality of -1
check_solution: Constraint R227 = 6.77128857055e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1.82664)
check_solution: Variable C206 = -1.12007617951 is below its lower bound 0
check_solution: Variable C922 = -0.313841819763 is below its lower bound 0
check_solution: Variable C1638 = -0.111941874027 is below its lower bound 0
check_solution: Variable C1996 = -0.392857074738 is below its lower bound 0
check_solution: Constraint R1 = 3.00050204952e-311 is above its equality of -10
check_solution: Constraint R73 = 6.62274886514e-311 is above its equality of -9
check_solution: Constraint R141 = 5.21162166382e-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.621145725251 is below its equality of 0
check_solution: Constraint R226 = 4.80632046656e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 2.54545)
check_solution: Variable C100 = -2.46332168579 is below its lower bound 0
check_solution: Variable C816 = -3.27817344666 is below its lower bound 0
check_solution: Variable C1532 = -0.0766203403473 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 5.49172510836e-311 is above its equality of -9
check_solution: Constraint R96 = -0.0477998256684 is below its equality of 0
check_solution: Constraint R141 = 6.57818695353e-311 is above its equality of -1
check_solution: Constraint R194 = 5.372893344e-311 is above its equality of -1
check_solution: Constraint R226 = 5.45352919859e-312 is above its equality of -1
check_solution: Constraint R227 = 6.79675252004e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 13.0514)
check_solution: Variable C24 = -3.27817344666 is below its lower bound 0
check_solution: Variable C740 = -0.0766203403473 is below its lower bound 0
check_solution: Variable C1814 = -0.5307970047 is below its lower bound 0
check_solution: Variable C2172 = -0.126170158386 is below its lower bound 0
check_solution: Variable C2530 = -0.621145725251 is below its lower bound 0
check_solution: Constraint R1 = 0 is above its equality of -10
check_solution: Constraint R73 = 5.00154408084e-311 is above its equality of -9
check_solution: Constraint R141 = 5.6699727545e-311 is above its equality of -1
check_solution: Constraint R194 = 6.28110754279e-311 is above its equality of -1
check_solution: Constraint R226 = 4.57714492218e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10.972 (rel. error 13.0514)
check_solution: Variable C556 = -0.313841819763 is below its lower bound 0
check_solution: Variable C1272 = -0.111941874027 is below its lower bound 0
check_solution: Variable C1630 = -0.392857074738 is below its lower bound 0
check_solution: Constraint R1 = 4.44770317897e-311 is above its equality of -10
check_solution: Constraint R73 = 4.65778076175e-311 is above its equality of -9
check_solution: Constraint R141 = 4.79995448027e-311 is above its equality of -1
check_solution: Constraint R194 = -1.03752803803 is below its equality of -1
check_solution: Constraint R226 = 5.50233508725e-311 is above its equality of -1
check_solution: Constraint R227 = 5.72090065372e-311 is above its equality of -1
check_solution: Constraint R228 = 6.51877107113e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 5.65347)
check_solution: Variable C446 = -0.176984667778 is below its lower bound 0
check_solution: Variable C1162 = -0.288056135178 is below its lower bound 0
check_solution: Variable C1520 = -0.374122858048 is below its lower bound 0
check_solution: Variable C2236 = -0.176984667778 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 1.99679804043e-311 is above its equality of -9
check_solution: Constraint R84 = -0.288056135178 is below its equality of 0
check_solution: Constraint R141 = 5.68482672505e-311 is above its equality of -1
check_solution: Constraint R194 = 5.35591737764e-311 is above its equality of -1
check_solution: Constraint R226 = 5.87580634676e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 2.67292)
check_solution: Variable C312 = -2.14500808716 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 6.3914513234e-311 is above its equality of -9
check_solution: Constraint R141 = 6.61638287721e-311 is above its equality of -1
check_solution: Constraint R194 = 4.63656080434e-311 is above its equality of -1
check_solution: Constraint R226 = 5.56599496099e-311 is above its equality of -1
check_solution: Constraint R227 = 6.06890796346e-311 is above its equality of -1
check_solution: Constraint R228 = 5.56811695679e-311 is above its equality of -1
check_solution: Constraint R229 = 6.88587634298e-311 is above its equality of -1
check_solution: Constraint R230 = 5.57023895258e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 2.14501)
check_solution: Variable C1998 = -1.28103923798 is below its lower bound 0
check_solution: Constraint R1 = 6.69489672205e-311 is above its equality of -10
check_solution: Constraint R73 = 5.66997275451e-311 is above its equality of -9
check_solution: Constraint R141 = 4.43709320005e-311 is above its equality of -1
check_solution: Constraint R194 = 2.93896417166e-311 is above its equality of -1
check_solution: Constraint R204 = -0.768482208252 is below its equality of 0
check_solution: Constraint R226 = 3.23604358259e-311 is above its equality of -1
check_solution: Constraint R227 = 9.12458196997e-313 is above its equality of -1
check_solution: Constraint R228 = 4.92303023506e-311 is above its equality of -1
check_solution: Constraint R229 = 3.24877555599e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1.28104)
check_solution: Variable C152 = -2.98148727417 is below its lower bound 0
check_solution: Variable C510 = -0.233522772789 is below its lower bound 0
check_solution: Variable C868 = -0.171632289887 is below its lower bound 0
check_solution: Variable C1584 = -0.237409234047 is below its lower bound 0
check_solution: Variable C1942 = -0.0976358652115 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 4.97820212691e-311 is above its equality of -9
check_solution: Constraint R141 = 5.72090065314e-311 is above its equality of -1
check_solution: Constraint R194 = 5.37925933163e-311 is above its equality of -1
check_solution: Constraint R226 = 6.25139960131e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 10.2421)
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 6.70975069217e-311 is above its equality of -9
check_solution: Constraint R126 = 1.25496768951 is above its equality of 0
check_solution: Constraint R141 = 4.97183613981e-311 is above its equality of -1
check_solution: Constraint R194 = 5.5405310114e-311 is above its equality of -1
check_solution: Constraint R226 = 1.92252818734e-311 is above its equality of -1
check_solution: Constraint R227 = 5.36228336502e-311 is above its equality of -1
check_solution: Constraint R228 = 5.38350332293e-311 is above its equality of -1
check_solution: Constraint R229 = 5.38774731451e-311 is above its equality of -1
check_solution: Constraint R230 = 4.56229095183e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C38 = -0.517621040345 is below its lower bound 0
check_solution: Variable C1828 = -0.249107122421 is below its lower bound 0
check_solution: Variable C2186 = -2.22447776795 is below its lower bound 0
check_solution: Variable C2544 = -0.13657104969 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 5.87792834203e-311 is above its equality of -9
check_solution: Constraint R141 = 6.9028523093e-311 is above its equality of -1
check_solution: Constraint R194 = 6.86465638515e-311 is above its equality of -1
check_solution: Constraint R226 = 5.34955139027e-311 is above its equality of -1
check_solution: Constraint R227 = 4.9018102787e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 12.8794)
check_solution: Variable C326 = -0.332756519318 is below its lower bound 0
check_solution: Variable C684 = -0.399307966232 is below its lower bound 0
check_solution: Variable C1042 = -2.22055053711 is below its lower bound 0
check_solution: Variable C1400 = -0.162037968636 is below its lower bound 0
check_solution: Variable C1758 = -2.00478935242 is below its lower bound 0
check_solution: Variable C2116 = -0.427870750427 is below its lower bound 0
check_solution: Variable C2474 = -0.0883843302727 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 5.35167338597e-311 is above its equality of -9
check_solution: Constraint R141 = 6.55696699513e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 2.33715)
check_solution: Variable C1552 = -1.42328071594 is below its lower bound 0
check_solution: Variable C1910 = -0.181082844734 is below its lower bound 0
check_solution: Variable C2268 = -0.723135948181 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 6.73521464211e-311 is above its equality of -9
check_solution: Constraint R116 = 0.00817296653986 is above its equality of 0
check_solution: Constraint R141 = 4.8848343115e-311 is above its equality of -1
check_solution: Constraint R194 = 5.37501533974e-311 is above its equality of -1
check_solution: Constraint R226 = 5.35591737764e-311 is above its equality of -1
check_solution: Constraint R227 = 4.64292679171e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 5.52233)
check_solution: Variable C760 = -0.969106674195 is below its lower bound 0
check_solution: Variable C2550 = -1.42328071594 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R40 = 0.00817296653986 is above its equality of 0
check_solution: Constraint R73 = 5.50657907884e-311 is above its equality of -9
check_solution: Constraint R141 = 5.38138132659e-311 is above its equality of -1
check_solution: Constraint R194 = 6.69065273047e-311 is above its equality of -1
check_solution: Constraint R226 = 6.74370262508e-311 is above its equality of -1
check_solution: Constraint R227 = 4.94000620281e-311 is above its equality of -1
check_solution: Constraint R228 = 4.72356263191e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1.42328)
check_solution: Variable C234 = -2.14785194397 is below its lower bound 0
check_solution: Variable C1308 = -2.14500808716 is below its lower bound 0
check_solution: Variable C2024 = -2.58455276489 is below its lower bound 0
check_solution: Variable C2382 = -0.91054391861 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801685e-310 is above its equality of -10
check_solution: Constraint R73 = 6.81160649058e-311 is above its equality of -9
check_solution: Constraint R141 = 4.9209082403e-311 is above its equality of -1
check_solution: Constraint R194 = 3.93205820135e-311 is above its equality of -1
check_solution: Constraint R226 = 5.72514464535e-311 is above its equality of -1
check_solution: Constraint R227 = 1.51298300029e-311 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 2.86344)
check_solution: Constraint R1 = 6.92045801686e-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 C698 = -0.294226884842 is below its lower bound 0
check_solution: Variable C1414 = -0.359289884567 is below its lower bound 0
check_solution: Variable C2130 = -0.294226884842 is below its lower bound 0
check_solution: Variable C2488 = -0.359289884567 is below its lower bound 0
check_solution: Constraint R1 = 6.92045801686e-310 is above its equality of -10
check_solution: Constraint R73 = 1.59149684371e-311 is above its eqvrfy: finished
info: timeLeft: -1
rslt: Output for LTLFireability @ 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=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 18 22:09:51 2021
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5144876,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.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 LTLFireability.xml
lola: time limit reached - aborting
lola: memory consumption: 5144876 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.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="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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 gold2020"
echo " Input is PolyORBLF-COL-S04J04T08, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-oct2-162089287000066"
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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;