About the Execution of ITS-LoLa for PolyORBLF-COL-S04J04T06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15740.700 | 3600000.00 | 3655784.00 | 490.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r176-tajo-158987871700316.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-S04J04T06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r176-tajo-158987871700316
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 4.4K Apr 12 05:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 05:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 11 04:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 04:59 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.3K 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.2K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 10 12:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 12:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 17:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 17:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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-S04J04T06-CTLFireability-00
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-01
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-02
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-03
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-04
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-05
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-06
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-07
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-08
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-09
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-10
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-11
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-12
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-13
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-14
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591142817828
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 00:06:59] [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:06:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 00:06:59] [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:07:00] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 650 ms
[2020-06-03 00:07:00] [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:07:00] [INFO ] ms2 symmetric to ms1 in transition T_1124
[2020-06-03 00:07:00] [INFO ] ms3 symmetric to ms2 in transition T_1125
[2020-06-03 00:07:00] [INFO ] ms2 symmetric to ms1 in transition T_1125
[2020-06-03 00:07:00] [INFO ] ms3 symmetric to ms2 in transition T_1126
[2020-06-03 00:07:00] [INFO ] ms2 symmetric to ms1 in transition T_1126
[2020-06-03 00:07:00] [INFO ] ms1 symmetric to ms4 in transition T_1126
[2020-06-03 00:07:00] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 554 PT places and 3040.0 transition bindings in 31 ms.
[2020-06-03 00:07:00] [INFO ] Computed order based on color domains.
[2020-06-03 00:07:00] [INFO ] Unfolded HLPN to a Petri net with 554 places and 1372 transitions in 52 ms.
[2020-06-03 00:07:00] [INFO ] Unfolded HLPN properties in 1 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 114 ms.
Incomplete random walk after 100000 steps, including 5 resets, run finished after 528 ms. (steps per millisecond=189 ) properties seen :[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, 0, 0, 1, 1, 1, 1, 1, 1]
[2020-06-03 00:07:01] [INFO ] Flow matrix only has 1348 transitions (discarded 24 similar events)
// Phase 1: matrix 1348 rows 554 cols
[2020-06-03 00:07:01] [INFO ] Computed 50 place invariants in 106 ms
[2020-06-03 00:07:01] [INFO ] [Real]Absence check using 19 positive place invariants in 52 ms returned sat
[2020-06-03 00:07:01] [INFO ] [Real]Absence check using 19 positive and 31 generalized place invariants in 87 ms returned sat
[2020-06-03 00:07:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 00:07:03] [INFO ] [Real]Absence check using state equation in 1590 ms returned sat
[2020-06-03 00:07:03] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 00:07:03] [INFO ] [Nat]Absence check using 19 positive place invariants in 167 ms returned sat
[2020-06-03 00:07:04] [INFO ] [Nat]Absence check using 19 positive and 31 generalized place invariants in 168 ms returned sat
[2020-06-03 00:07:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 00:07:05] [INFO ] [Nat]Absence check using state equation in 1893 ms returned sat
[2020-06-03 00:07:05] [INFO ] State equation strengthened by 126 read => feed constraints.
[2020-06-03 00:07:06] [INFO ] [Nat]Added 126 Read/Feed constraints in 557 ms returned sat
[2020-06-03 00:07:07] [INFO ] Deduced a trap composed of 76 places in 609 ms
[2020-06-03 00:07:07] [INFO ] Deduced a trap composed of 308 places in 451 ms
[2020-06-03 00:07:08] [INFO ] Deduced a trap composed of 321 places in 399 ms
[2020-06-03 00:07:08] [INFO ] Deduced a trap composed of 75 places in 358 ms
[2020-06-03 00:07:09] [INFO ] Deduced a trap composed of 311 places in 539 ms
[2020-06-03 00:07:10] [INFO ] Deduced a trap composed of 314 places in 505 ms
[2020-06-03 00:07:10] [INFO ] Deduced a trap composed of 43 places in 420 ms
[2020-06-03 00:07:11] [INFO ] Deduced a trap composed of 314 places in 452 ms
[2020-06-03 00:07:11] [INFO ] Deduced a trap composed of 297 places in 442 ms
[2020-06-03 00:07:11] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 5259 ms
[2020-06-03 00:07:11] [INFO ] Computed and/alt/rep : 1368/16874/1344 causal constraints in 108 ms.
[2020-06-03 00:07:23] [INFO ] Added : 460 causal constraints over 92 iterations in 11868 ms. Result :unknown
[2020-06-03 00:07:23] [INFO ] [Real]Absence check using 19 positive place invariants in 17 ms returned sat
[2020-06-03 00:07:23] [INFO ] [Real]Absence check using 19 positive and 31 generalized place invariants in 26 ms returned unsat
[2020-06-03 00:07:23] [INFO ] [Real]Absence check using 19 positive place invariants in 18 ms returned sat
[2020-06-03 00:07:23] [INFO ] [Real]Absence check using 19 positive and 31 generalized place invariants in 16 ms returned unsat
Successfully simplified 2 atomic propositions for a total of 2 simplifications.
[2020-06-03 00:07:24] [INFO ] Flatten gal took : 230 ms
[2020-06-03 00:07:24] [INFO ] Flatten gal took : 152 ms
[2020-06-03 00:07:24] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 12 ms.
[2020-06-03 00:07:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 17 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ PolyORBLF-COL-S04J04T06 @ 3570 seconds
check_solution: Variable C1383 = -8.57701120129 is below its lower bound 0
check_solution: Variable C1392 = -0.990477922264 is below its lower bound 0
check_solution: Variable C1415 = -9.2148043325 is below its lower bound 0
check_solution: Variable C1467 = -0.944164360002 is below its lower bound 0
check_solution: Variable C1510 = -0.987006116061 is below its lower bound 0
check_solution: Variable C1536 = -1.12199369107 is below its lower bound 0
check_solution: Variable C1537 = -0.403458238714 is below its lower bound 0
check_solution: Variable C1538 = -0.403458238714 is below its lower bound 0
check_solution: Variable C1539 = -0.403458238714 is below its lower bound 0
check_solution: Variable C1540 = -0.403458238714 is below its lower bound 0
Seriously low accuracy found ||*|| = 10 (rel. error 9.2148)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R33 = 0 is above its equality of -9
check_solution: Constraint R85 = 0 is above its equality of -1
check_solution: Constraint R128 = 0 is above its equality of -1
check_solution: Constraint R154 = 0 is above its equality of -1
check_solution: Constraint R155 = 0 is above its equality of -1
check_solution: Constraint R156 = 0 is above its equality of -1
check_solution: Constraint R157 = 0 is above its equality of -1
check_solution: Constraint R158 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.78351849617e-311 is above its equality of -1
check_solution: Constraint R33 = 3.96601013424e-311 is above its equality of -9
check_solution: Constraint R85 = 4.33948139353e-311 is above its equality of -1
check_solution: Constraint R128 = 4.66202475384e-311 is above its equality of -1
check_solution: Constraint R154 = 4.97183613939e-311 is above its equality of -1
check_solution: Constraint R155 = 4.97820212676e-311 is above its equality of -1
check_solution: Constraint R156 = 4.98669010993e-311 is above its equality of -1
check_solution: Constraint R157 = 4.99942208468e-311 is above its equality of -1
check_solution: Constraint R158 = 5.00578807205e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C85 = -0.355881929398 is below its lower bound 0
check_solution: Variable C86 = -0.0638347725849 is below its lower bound 0
check_solution: Variable C645 = -0.031253695488 is below its lower bound 0
check_solution: Variable C646 = -0.00608108108108 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.75805454669e-311 is above its equality of -1
check_solution: Constraint R33 = 3.65407675289e-311 is above its equality of -9
check_solution: Constraint R79 = -1.45596504211 is below its equality of 0
check_solution: Constraint R80 = -0.915294117624 is below its equality of 0
check_solution: Constraint R85 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.81159)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R4 = 2.41254096864 is above its equality of 0
check_solution: Constraint R5 = 4.82508193727 is above its equality of 0
check_solution: Constraint R6 = 3.61881145295 is above its equality of 0
check_solution: Constraint R7 = 3.05137679544 is above its equality of 0
check_solution: Constraint R8 = 6.03135242159 is above its equality of 0
check_solution: Constraint R9 = 5.0856279924 is above its equality of 0
check_solution: Constraint R10 = 2.41254096864 is above its equality of -1
check_solution: Constraint R11 = 8.44389339023 is above its equality of 0
check_solution: Constraint R12 = 4.82508193727 is above its equality of 0
Seriously low accuracy found ||*|| = 78.4076 (rel. error 54.0759)
check_solution: Variable C412 = -0.237408187847 is below its lower bound 0
check_solution: Variable C1108 = -0.237408187847 is below its lower bound 0
check_solution: Variable C1804 = -0.237408187847 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 4.58138891357e-311 is above its equality of -1
check_solution: Constraint R33 = 3.76017654269e-311 is above its equality of -9
check_solution: Constraint R85 = 4.14637977639e-311 is above its equality of -1
check_solution: Constraint R128 = 4.09332988161e-311 is above its equality of -1
check_solution: Constraint R154 = 3.49068307703e-311 is above its equality of -1
check_solution: Constraint R155 = 4.88059032011e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 15.6815 (rel. error 7.84076)
check_solution: Variable C408 = -1 is below its lower bound 0
check_solution: Variable C1184 = -1 is below its lower bound 0
check_solution: Variable C1190 = -1 is below its lower bound 0
check_solution: Variable C1196 = -1 is below its lower bound 0
check_solution: Variable C1202 = -1 is below its lower bound 0
check_solution: Variable C1208 = -1 is below its lower bound 0
check_solution: Variable C1214 = -1 is below its lower bound 0
check_solution: Variable C1220 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C595 = -0.972086429596 is below its lower bound 0
check_solution: Variable C596 = -0.62149790457 is below its lower bound 0
check_solution: Variable C915 = -0.322396993637 is below its lower bound 0
check_solution: Variable C1255 = -0.459087371826 is below its lower bound 0
check_solution: Variable C1256 = -0.455973936551 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 4.58138891369e-311 is above its equality of -1
check_solution: Constraint R33 = 3.50129305619e-311 is above its equality of -9
check_solution: Constraint R85 = 4.89756628639e-311 is above its equality of -1
check_solution: Constraint R128 = 4.0933298814e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 3.30961)
check_solution: Variable C279 = -0.220202565193 is below its lower bound 0
check_solution: Variable C280 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1119 = -0.0198800712824 is below its lower bound 0
check_solution: Variable C1120 = -0.157821015701 is below its lower bound 0
check_solution: Variable C1399 = -0.0210887342691 is below its lower bound 0
check_solution: Variable C1400 = -0.167416257936 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.46521912771e-311 is above its equality of -1
check_solution: Constraint R33 = 4.72568462758e-311 is above its equality of -9
check_solution: Constraint R85 = 4.75963656024e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 5.62743)
check_solution: Variable C25 = -0.220202565193 is below its lower bound 0
check_solution: Variable C26 = -0.287069491623 is below its lower bound 0
check_solution: Variable C585 = -0.220202565193 is below its lower bound 0
check_solution: Variable C586 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1145 = -0.220202565193 is below its lower bound 0
check_solution: Variable C1146 = -0.287069491623 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 2.10501982499e-311 is above its equality of -1
check_solution: Constraint R19 = -0.220202565193 is below its equality of 0
check_solution: Constraint R20 = -0.287069491623 is below its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 1.97133)
check_solution: Variable C535 = -0.139526844025 is below its lower bound 0
check_solution: Variable C536 = -2.25548432863 is below its lower bound 0
check_solution: Variable C1095 = -0.0809586644173 is below its lower bound 0
check_solution: Variable C1096 = -0.0101810353962 is below its lower bound 0
check_solution: Variable C1375 = -0.0834902524948 is below its lower bound 0
check_solution: Variable C1376 = -0.0104993937704 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 4.70022067779e-311 is above its equality of -1
check_solution: Constraint R33 = 3.32728940109e-311 is above its equality of -9
check_solution: Constraint R85 = 4.71083065675e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 10.9722)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 4.30977345234e-311 is above its equality of -1
check_solution: Constraint R33 = 1.3792972649e-311 is above its equality of -9
check_solution: Constraint R85 = 3.99996206641e-311 is above its equality of -1
check_solution: Constraint R128 = 3.21270162827e-311 is above its equality of -1
check_solution: Constraint R154 = 3.50553704751e-311 is above its equality of -1
check_solution: Constraint R155 = 4.43497120401e-311 is above its equality of -1
check_solution: Constraint R156 = 4.850882379e-311 is above its equality of -1
check_solution: Constraint R157 = 1.21165959754e-311 is above its equality of -1
check_solution: Constraint R158 = 1.69971862972e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 5.1507)
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 -1
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 C512 = -0.147159389987 is below its lower bound 0
check_solution: Variable C791 = -0.145283102989 is below its lower bound 0
check_solution: Variable C792 = -0.204505268302 is below its lower bound 0
check_solution: Variable C1352 = -0.0292837247799 is below its lower bound 0
check_solution: Variable C1631 = -0.00912353396416 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.6583207448e-311 is above its equality of -1
check_solution: Constraint R33 = 3.08538188102e-311 is above its equality of -9
check_solution: Constraint R85 = 5.03974000461e-311 is above its equality of -1
check_solution: Constraint R128 = 3.52039101795e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 5.86197)
check_solution: Variable C21 = -0.225228667259 is below its lower bound 0
check_solution: Variable C581 = -0.510972499848 is below its lower bound 0
check_solution: Variable C582 = -1.68806015786 is below its lower bound 0
check_solution: Variable C862 = -0.261269869666 is below its lower bound 0
check_solution: Variable C1141 = -0.0949911475182 is below its lower bound 0
check_solution: Variable C1142 = -0.25239921206 is below its lower bound 0
check_solution: Variable C1421 = -0.317599058151 is below its lower bound 0
check_solution: Variable C1422 = -0.277971931902 is below its lower bound 0
check_solution: Variable C1701 = -0.333271026611 is below its lower bound 0
check_solution: Variable C1702 = -0.786008897747 is below its lower bound 0
Seriously low accuracy found ||*|| = 10 (rel. error 2.87861)
check_solution: Variable C1897 = -5848 is below its lower bound 0
check_solution: Variable C1898 = -726 is below its lower bound 0
check_solution: Variable C1900 = -1 is below its lower bound 0
check_solution: Variable C1901 = -1 is below its lower bound 0
check_solution: Variable C1902 = -1 is below its lower bound 0
check_solution: Variable C1903 = -1 is below its lower bound 0
check_solution: Variable C1904 = -1 is below its lower bound 0
check_solution: Variable C1906 = -1 is below its lower bound 0
check_solution: Variable C1908 = -1570 is below its lower bound 0
check_solution: Variable C1909 = -1660 is below its lower bound 0
Seriously low accuracy found ||*|| = 5848 (rel. error 5848)
check_solution: Variable C27 = -0.220202565193 is below its lower bound 0
check_solution: Variable C28 = -0.287069491623 is below its lower bound 0
check_solution: Variable C587 = -0.220202565193 is below its lower bound 0
check_solution: Variable C588 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1147 = -0.220202565193 is below its lower bound 0
check_solution: Variable C1148 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1707 = -0.220202565193 is below its lower bound 0
check_solution: Variable C1708 = -0.287069491623 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 2.30660942532e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.97133)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R33 = 0 is above its equality of -9
check_solution: Constraint R85 = 0 is above its equality of -1
check_solution: Constraint R128 = 0 is above its equality of -1
check_solution: Constraint R154 = 0 is above its equality of -1
check_solution: Constraint R155 = 0 is above its equality of -1
check_solution: Constraint R156 = 0 is above its equality of -1
check_solution: Constraint R157 = 0 is above its equality of -1
check_solution: Constraint R158 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 4.56299)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R33 = 0 is above its equality of -9
check_solution: Constraint R85 = 0 is above its equality of -1
check_solution: Constraint R128 = 0 is above its equality of -1
check_solution: Constraint R154 = 0 is above its equality of -1
check_solution: Constraint R155 = 0 is above its equality of -1
check_solution: Constraint R156 = 0 is above its equality of -1
check_solution: Constraint R157 = 0 is above its equality of -1
check_solution: Constraint R158 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Constraint R1 = 4.66045043455e-310 is above its equality of -10
check_solution: Constraint R10 = 4.45619116202e-313 is above its equality of -1
check_solution: Constraint R33 = 1.42173718027e-312 is above its equality of -9
check_solution: Constraint R85 = 3.62861280339e-312 is above its equality of -1
check_solution: Constraint R128 = 5.45352918405e-312 is above its equality of -1
check_solution: Constraint R154 = 6.5569669956e-312 is above its equality of -1
check_solution: Constraint R155 = 6.59940691143e-312 is above its equality of -1
check_solution: Constraint R156 = 6.64184682726e-312 is above its equality of -1
check_solution: Constraint R157 = 6.68428674309e-312 is above its equality of -1
check_solution: Constraint R158 = 6.72672665892e-312 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R33 = 0 is above its equality of -9
check_solution: Constraint R85 = 0 is above its equality of -1
check_solution: Constraint R128 = 0 is above its equality of -1
check_solution: Constraint R154 = 0 is above its equality of -1
check_solution: Constraint R155 = 0 is above its equality of -1
check_solution: Constraint R156 = 0 is above its equality of -1
check_solution: Constraint R157 = 0 is above its equality of -1
check_solution: Constraint R158 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C408 = -1 is below its lower bound 0
check_solution: Variable C1184 = -1 is below its lower bound 0
check_solution: Variable C1190 = -1 is below its lower bound 0
check_solution: Variable C1196 = -1 is below its lower bound 0
check_solution: Variable C1202 = -1 is below its lower bound 0
check_solution: Variable C1208 = -1 is below its lower bound 0
check_solution: Variable C1214 = -1 is below its lower bound 0
check_solution: Variable C1220 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C306 = -1 is below its lower bound 0
check_solution: Variable C1082 = -1 is below its lower bound 0
check_solution: Variable C1088 = -1 is below its lower bound 0
check_solution: Variable C1094 = -1 is below its lower bound 0
check_solution: Variable C1100 = -1 is below its lower bound 0
check_solution: Variable C1106 = -1 is below its lower bound 0
check_solution: Variable C1112 = -1 is below its lower bound 0
check_solution: Variable C1118 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C141 = -0.694872379303 is below its lower bound 0
check_solution: Variable C422 = -0.0145149537828 is below its lower bound 0
check_solution: Variable C701 = -0.694872379303 is below its lower bound 0
check_solution: Variable C982 = -0.0145149537828 is below its lower bound 0
check_solution: Variable C1261 = -0.694872379303 is below its lower bound 0
check_solution: Variable C1542 = -0.0145149537828 is below its lower bound 0
check_solution: Variable C1821 = -0.694872379303 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 1.66152270471e-311 is above its equality of -1
check_solution: Constraint R33 = 3.19360366615e-311 is above its equality of -9
Seriously low accuracy found ||*|| = 10 (rel. error 2.98028)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 4.67900071954e-311 is above its equality of -1
check_solution: Constraint R33 = 4.90817626554e-311 is above its equality of -9
check_solution: Constraint R85 = 3.52463500961e-311 is above its equality of -1
check_solution: Constraint R128 = 3.43551118636e-311 is above its equality of -1
check_solution: Constraint R154 = 1.64242474313e-311 is above its equality of -1
check_solution: Constraint R155 = 1.64666873417e-311 is above its equality of -1
check_solution: Constraint R156 = 1.6487907299e-311 is above its equality of -1
check_solution: Constraint R157 = 4.04664597432e-311 is above its equality of -1
check_solution: Constraint R158 = 4.02118202482e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 2.56315)
check_solution: Variable C1520 = -0.0277543297826 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R14 = 1 is above its equality of 0
check_solution: Constraint R15 = 1 is above its equality of 0
check_solution: Constraint R16 = 1 is above its equality of 0
check_solution: Constraint R17 = 1 is above its equality of 0
check_solution: Constraint R33 = 0 is above its equality of -9
check_solution: Constraint R79 = 1 is above its equality of 0
check_solution: Constraint R80 = 1 is above its equality of 0
Seriously low accuracy found ||*|| = 100 (rel. error 33)
check_solution: Variable C251 = -0.0294674932957 is below its lower bound 0
check_solution: Variable C252 = -0.36299916608 is below its lower bound 0
check_solution: Variable C531 = -0.376061677933 is below its lower bound 0
check_solution: Variable C532 = -0.353611256613 is below its lower bound 0
check_solution: Variable C811 = -0.0294674932957 is below its lower bound 0
check_solution: Variable C812 = -0.36299916608 is below its lower bound 0
check_solution: Variable C1091 = -0.376061677933 is below its lower bound 0
check_solution: Variable C1092 = -0.353611256613 is below its lower bound 0
check_solution: Variable C1371 = -0.0294674932957 is below its lower bound 0
check_solution: Variable C1372 = -0.36299916608 is below its lower bound 0
Seriously low accuracy found ||*|| = 1e+30 (rel. error 1e+30)
check_solution: Variable C1618 = -2.24711641858e+307 is below its lower bound 0
check_solution: Variable C1620 = -8.98846567431e+307 is below its lower bound 0
check_solution: Variable C1658 = -2.24711641858e+307 is below its lower bound 0
check_solution: Variable C1660 = -8.98846567431e+307 is below its lower bound 0
check_solution: Variable C1713 = -12.5 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 4.30977345234e-311 is above its equality of -1
check_solution: Constraint R33 = 2.8349863775e-311 is above its equality of -9
check_solution: Constraint R85 = 3.99996206641e-311 is above its equality of -1
check_solution: Constraint R128 = 3.21270162827e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 8.98847e+307 (rel. error 8.98847e+307)
check_solution: Variable C255 = -0.220202565193 is below its lower bound 0
check_solution: Variable C256 = -0.287069491623 is below its lower bound 0
check_solution: Variable C815 = -0.220202565193 is below its lower bound 0
check_solution: Variable C816 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1375 = -0.220202565193 is below its lower bound 0
check_solution: Variable C1376 = -0.287069491623 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 1.66152270471e-311 is above its equality of -1
check_solution: Constraint R33 = 1.75913451112e-311 is above its equality of -9
check_solution: Constraint R85 = 1.97982207343e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.97133)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 4.67900072019e-311 is above its equality of -1
check_solution: Constraint R33 = 4.95910416466e-311 is above its equality of -9
check_solution: Constraint R85 = 3.52463500961e-311 is above its equality of -1
check_solution: Constraint R128 = 4.0763539155e-311 is above its equality of -1
check_solution: Constraint R154 = 1.64242474255e-311 is above its equality of -1
check_solution: Constraint R155 = 1.64666873417e-311 is above its equality of -1
check_solution: Constraint R156 = 1.6487907299e-311 is above its equality of -1
check_solution: Constraint R157 = 4.04664597432e-311 is above its equality of -1
check_solution: Constraint R158 = 4.02118202482e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 5.1507)
check_solution: Variable C196 = -0.149091309182 is below its lower bound 0
check_solution: Variable C475 = -0.0584211945534 is below its lower bound 0
check_solution: Variable C755 = -0.089850306511 is below its lower bound 0
check_solution: Variable C756 = -0.0851851747881 is below its lower bound 0
check_solution: Variable C1035 = -0.106164991856 is below its lower bound 0
check_solution: Variable C1036 = -0.100652759523 is below its lower bound 0
check_solution: Variable C1875 = -0.0563886463642 is below its lower bound 0
check_solution: Variable C1876 = -0.0550015412204 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.93418019736e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 4.83517)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R33 = 0 is above its equality of -9
check_solution: Constraint R85 = 0 is above its equality of -1
check_solution: Constraint R128 = 0 is above its equality of -1
check_solution: Constraint R154 = 0 is above its equality of -1
check_solution: Constraint R155 = 0 is above its equality of -1
check_solution: Constraint R156 = 0 is above its equality of -1
check_solution: Constraint R157 = 0 is above its equality of -1
check_solution: Constraint R158 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 2.02481)
check_solution: Variable C57 = -0.0359846353531 is below its lower bound 0
check_solution: Variable C617 = -0.0359846353531 is below its lower bound 0
check_solution: Variable C1177 = -0.252526760101 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 4.82754042557e-311 is above its equality of -1
check_solution: Constraint R33 = 3.55858694198e-311 is above its equality of -9
check_solution: Constraint R51 = -0.333271026611 is below its equality of 0
check_solution: Constraint R52 = -0.786008897747 is below its equality of 0
check_solution: Constraint R85 = 1.48539705483e-311 is above its equality of -1
check_solution: Constraint R128 = 3.17874969561e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 26.6638)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 5.07156994094e-311 is above its equality of -1
check_solution: Constraint R33 = 3.22331160723e-311 is above its equality of -9
check_solution: Constraint R85 = 4.43497120401e-311 is above its equality of -1
check_solution: Constraint R119 = 0.174673318863 is above its equality of 0
check_solution: Constraint R120 = 0.0501300248412 is above its equality of 0
check_solution: Constraint R128 = 5.01639805067e-311 is above its equality of -1
check_solution: Constraint R154 = 4.69385469071e-311 is above its equality of -1
check_solution: Constraint R155 = 4.34160338949e-311 is above its equality of -1
check_solution: Constraint R156 = 4.6959766862e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 4.16739)
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.63922278257e-311 is above its equality of -1
check_solution: Constraint R33 = 4.61958483801e-311 is above its equality of -9
check_solution: Constraint R85 = 4.95910416466e-311 is above its equality of -1
check_solution: Constraint R128 = 1.9076742173e-311 is above its equality of -1
check_solution: Constraint R154 = 3.59466087071e-311 is above its equality of -1
check_solution: Constraint R155 = 2.02226198968e-311 is above its equality of -1
check_solution: Constraint R156 = 3.77503051292e-311 is above its equality of -1
check_solution: Constraint R157 = 4.13789179329e-311 is above its equality of -1
check_solution: Constraint R158 = 3.75168855926e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 5.3634)
check_solution: Variable C408 = -1 is below its lower bound 0
check_solution: Variable C1184 = -1 is below its lower bound 0
check_solution: Variable C1190 = -1 is below its lower bound 0
check_solution: Variable C1196 = -1 is below its lower bound 0
check_solution: Variable C1202 = -1 is below its lower bound 0
check_solution: Variable C1208 = -1 is below its lower bound 0
check_solution: Variable C1214 = -1 is below its lower bound 0
check_solution: Variable C1220 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R4 = 1.74760481606 is above its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 5)
check_solution: Constraint R1 = 6.93990119326e-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 -1
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 C8 = -0.00296789116455 is below its lower bound 0
check_solution: Variable C288 = -0.0555916186525 is below its lower bound 0
check_solution: Variable C567 = -0.210925459862 is below its lower bound 0
check_solution: Variable C848 = -0.0480393757774 is below its lower bound 0
check_solution: Variable C1127 = -0.210925459862 is below its lower bound 0
check_solution: Variable C1408 = -0.0480393757774 is below its lower bound 0
check_solution: Variable C1687 = -0.210925459862 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.79837246662e-311 is above its equality of -1
check_solution: Constraint R33 = 5.01215405922e-311 is above its equality of -9
Seriously low accuracy found ||*|| = 10 (rel. error 3.86153)
check_solution: Variable C363 = -0.220202565193 is below its lower bound 0
check_solution: Variable C364 = -0.287069491623 is below its lower bound 0
check_solution: Variable C923 = -0.220202565193 is below its lower bound 0
check_solution: Variable C924 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1483 = -0.220202565193 is below its lower bound 0
check_solution: Variable C1484 = -0.287069491623 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 1.47478707575e-311 is above its equality of -1
check_solution: Constraint R33 = 2.13897175827e-311 is above its equality of -9
check_solution: Constraint R77 = 0.220202565193 is above its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 1.97133)
check_solution: Variable C401 = -0.220202565193 is below its lower bound 0
check_solution: Variable C402 = -0.287069491623 is below its lower bound 0
check_solution: Variable C961 = -0.220202565193 is below its lower bound 0
check_solution: Variable C962 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1521 = -0.220202565193 is below its lower bound 0
check_solution: Variable C1522 = -0.287069491623 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 1.90767421642e-311 is above its equality of -1
check_solution: Constraint R33 = 3.25514154416e-311 is above its equality of -9
check_solution: Constraint R85 = 3.90447225569e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.97133)
check_solution: Variable C468 = -0.342335109663 is below its lower bound 0
check_solution: Variable C747 = -0.17024075985 is below its lower bound 0
check_solution: Variable C748 = -0.538599374038 is below its lower bound 0
check_solution: Variable C1027 = -0.163494467735 is below its lower bound 0
check_solution: Variable C1028 = -0.32662151141 is below its lower bound 0
check_solution: Variable C1307 = -0.147642374039 is below its lower bound 0
check_solution: Variable C1308 = -0.467103881909 is below its lower bound 0
check_solution: Variable C1587 = -0.163494467735 is below its lower bound 0
check_solution: Variable C1588 = -0.32662151141 is below its lower bound 0
check_solution: Variable C1867 = -0.147642374039 is below its lower bound 0
Seriously low accuracy found ||*|| = 10 (rel. error 2.04033)
check_solution: Variable C1580 = -1 is below its lower bound 0
check_solution: Constraint R1 = 1e+30 is above its equality of -10
check_solution: Constraint R2 = 1e+30 is above its equality of 0
check_solution: Constraint R3 = 1e+30 is above its equality of 0
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
Seriously low accuracy found ||*|| = 1e+30 (rel. error 1)
check_solution: Variable C559 = -0.143958806992 is below its lower bound 0
check_solution: Variable C560 = -0.213239657907 is below its lower bound 0
check_solution: Variable C1119 = -0.143958806992 is below its lower bound 0
check_solution: Variable C1120 = -0.213239657907 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 4.57290093059e-311 is above its equality of -1
check_solution: Constraint R33 = 4.72568462758e-311 is above its equality of -9
check_solution: Constraint R85 = 4.75963656024e-311 is above its equality of -1
check_solution: Constraint R128 = 3.99147408341e-311 is above its equality of -1
check_solution: Constraint R154 = 3.1554077419e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 2.79956)
check_solution: Constraint R1 = 6.93990119326e-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 -1
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 R233 = 1e+30 is above its equality of 0
check_solution: Constraint R234 = 1e+30 is above its equality of 0
check_solution: Constraint R235 = 1e+30 is above its equality of 0
check_solution: Constraint R236 = 1e+30 is above its equality of 0
check_solution: Constraint R237 = 1e+30 is above its equality of 0
check_solution: Constraint R238 = 1e+30 is above its equality of 0
check_solution: Constraint R239 = 1e+30 is above its equality of 0
check_solution: Constraint R240 = 1e+30 is above its equality of 0
check_solution: Constraint R241 = 1e+30 is above its equality of 0
check_solution: Constraint R242 = 1e+30 is above its equality of 0
Seriously low accuracy found ||*|| = 1e+30 (rel. error 1e+30)
check_solution: Variable C716 = -0.501050666889 is below its lower bound 0
check_solution: Variable C1276 = -0.501050666889 is below its lower bound 0
check_solution: Variable C1605 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 5.02276403797e-311 is above its equality of -1
check_solution: Constraint R33 = 3.48643908537e-311 is above its equality of -9
check_solution: Constraint R85 = 4.13789179327e-311 is above its equality of -1
check_solution: Constraint R128 = 2.18777766137e-311 is above its equality of -1
check_solution: Constraint R154 = 0 is above its equality of -1
check_solution: Constraint R155 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 2.05966)
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 -1
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 C355 = -0.224874138832 is below its lower bound 0
check_solution: Variable C356 = -0.120305278146 is below its lower bound 0
check_solution: Variable C915 = -0.224874138832 is below its lower bound 0
check_solution: Variable C916 = -0.120305278146 is below its lower bound 0
check_solution: Variable C1475 = -0.224874138832 is below its lower bound 0
check_solution: Variable C1476 = -0.120305278146 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.34638736352e-311 is above its equality of -1
check_solution: Constraint R33 = 1.36019930277e-311 is above its equality of -9
check_solution: Constraint R69 = 0.301585674286 is above its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 2.89704)
check_solution: Variable C375 = -0.220202565193 is below its lower bound 0
check_solution: Variable C376 = -0.287069491623 is below its lower bound 0
check_solution: Variable C935 = -0.220202565193 is below its lower bound 0
check_solution: Variable C936 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1495 = -0.220202565193 is below its lower bound 0
check_solution: Variable C1496 = -0.287069491623 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.59466087071e-311 is above its equality of -1
check_solution: Constraint R33 = 3.28060549359e-311 is above its equality of -9
check_solution: Constraint R85 = 2.33631736673e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.97133)
check_solution: Variable C142 = -0.0472455591262 is below its lower bound 0
check_solution: Variable C421 = -0.0769215226174 is below its lower bound 0
check_solution: Variable C981 = -0.468799829483 is below its lower bound 0
check_solution: Variable C982 = -0.877406074913 is below its lower bound 0
check_solution: Variable C1261 = -0.103988945484 is below its lower bound 0
check_solution: Variable C1262 = -0.00977797987142 is below its lower bound 0
check_solution: Variable C1821 = -0.103988945484 is below its lower bound 0
check_solution: Variable C1822 = -0.00977797987142 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.39943725786e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 8.7899)
check_solution: Variable C240 = -0.02206836126 is below its lower bound 0
check_solution: Variable C519 = -0.0928837060928 is below its lower bound 0
check_solution: Variable C800 = -0.02206836126 is below its lower bound 0
check_solution: Variable C1079 = -0.0928837060928 is below its lower bound 0
check_solution: Variable C1360 = -0.02206836126 is below its lower bound 0
check_solution: Variable C1639 = -0.0928837060928 is below its lower bound 0
check_solution: Variable C1920 = -0.02206836126 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.29970345579e-311 is above its equality of -1
check_solution: Constraint R33 = 4.61958483801e-311 is above its equality of -9
Seriously low accuracy found ||*|| = 10 (rel. error 10.7662)
check_solution: Constraint R1 = 6.93990119325e-310 is above its equality of -10
check_solution: Constraint R10 = 3.54161097595e-311 is above its equality of -1
check_solution: Constraint R33 = 3.46309713202e-311 is above its equality of -9
check_solution: Constraint R85 = 3.60314885413e-311 is above its equality of -1
check_solution: Constraint R99 = -0.142675638199 is below its equality of 0
check_solution: Constraint R100 = -0.172905679166 is below its equality of 0
check_solution: Constraint R128 = 3.37185131292e-311 is above its equality of -1
check_solution: Constraint R154 = 3.64983276131e-311 is above its equality of -1
check_solution: Constraint R155 = 4.09120788583e-311 is above its equality of -1
check_solution: Constraint R156 = 3.63922278227e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 26.538 (rel. error 1.22548)
check_solution: Variable C277 = -0.0953997969628 is below its lower bound 0
check_solution: Variable C557 = -0.0406440496445 is below its lower bound 0
check_solution: Variable C837 = -0.0953997969628 is below its lower bound 0
check_solution: Variable C1117 = -0.0406440496445 is below its lower bound 0
check_solution: Variable C1677 = -0.132808327675 is below its lower bound 0
check_solution: Variable C1678 = -0.134538526895 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.21482362408e-311 is above its equality of -1
check_solution: Constraint R33 = 1.20741560606e-311 is above its equality of -9
check_solution: Constraint R85 = 4.61109685488e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 6.86354)
check_solution: Constraint R1 = 6.93990119325e-310 is above its equality of -10
check_solution: Constraint R10 = 4.82117443819e-311 is above its equality of -1
check_solution: Constraint R33 = 1.9770530884e-319 is above its equality of -9
check_solution: Constraint R85 = 0 is above its equality of -1
check_solution: Constraint R128 = 0 is above its equality of -1
check_solution: Constraint R154 = 0 is above its equality of -1
check_solution: Constraint R155 = 0 is above its equality of -1
check_solution: Constraint R156 = 0 is above its equality of -1
check_solution: Constraint R157 = 0 is above its equality of -1
check_solution: Constraint R158 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C47 = -0.220202565193 is below its lower bound 0
check_solution: Variable C48 = -0.287069491623 is below its lower bound 0
check_solution: Variable C607 = -0.220202565193 is below its lower bound 0
check_solution: Variable C608 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1167 = -0.220202565193 is below its lower bound 0
check_solution: Variable C1168 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1727 = -0.220202565193 is below its lower bound 0
check_solution: Variable C1728 = -0.287069491623 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 4.9166642488e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 4.54127)
check_solution: Variable C265 = -0.220202565193 is below its lower bound 0
check_solution: Variable C266 = -0.287069491623 is below its lower bound 0
check_solution: Variable C825 = -0.220202565193 is below its lower bound 0
check_solution: Variable C826 = -0.287069491623 is below its lower bound 0
check_solution: Variable C1385 = -0.220202565193 is below its lower bound 0
check_solution: Variable C1386 = -0.287069491623 is below its lower bound 0
check_solution: Constraint R1 = 6.93990119326e-310 is above its equality of -10
check_solution: Constraint R10 = 3.42702320345e-311 is above its equality of -1
check_solution: Constraint R33 = 3.62vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ PolyORBLF-COL-S04J04T06
{
"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:07:24 2020
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 4939676,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"net":
{
"arcs": 6996,
"conflict_clusters": 209,
"places": 554,
"places_significant": 504,
"singleton_clusters": 0,
"transitions": 1372
}
}
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: 1926/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 17728
lola: finding significant places
lola: 554 places, 1372 transitions, 504 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: time limit reached - aborting
lola: memory consumption: 4939676 KB
lola: time consumption: 3570 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-S04J04T06"
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-S04J04T06, 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-158987871700316"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S04J04T06.tgz
mv PolyORBLF-COL-S04J04T06 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 ;