env EmpireAutomatonOG.Timeout=-1 benchexec/../run-test.sh Library-ProofsTest 'de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$EmpireAutomatonOG' NoOverflow.04-mutex_02-simple_nr.ats false -------------------------------------------------------------------------------- Thanks for using JUnit! Support its development at https://junit.org/sponsoring Test plan execution started. Number of static tests: 1 ╷ ├─ JUnit Jupiter └─ JUnit Jupiter finished after 5 ms. ├─ JUnit Vintage │ ├─ EmpireAutomatonOG │ │ ├─ NoOverflow_04-mutex_02-simple_nr_ats │ │ │ tags: [] │ │ │ uniqueId: [engine:junit-vintage]/[runner:de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$EmpireAutomatonOG]/[test:NoOverflow_04-mutex_02-simple_nr_ats(de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$EmpireAutomatonOG)] │ │ │ parent: [engine:junit-vintage]/[runner:de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$EmpireAutomatonOG] │ │ │ source: ClassSource [className = 'de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$EmpireAutomatonOG', filePosition = null] [WARN]: Using environment timeout: -1ms [INFO]: No working directory specified, using /storage/repos/ultimate/releaseScripts/default/adds/z3 [INFO]: Starting monitored process 1 with /storage/repos/ultimate/releaseScripts/default/adds/z3 SMTLIB2_COMPLIANT=true -t:1000 -memory:2024 -smt2 -in (exit command is (exit), workingDir is null) [INFO]: [MP /storage/repos/ultimate/releaseScripts/default/adds/z3 SMTLIB2_COMPLIANT=true -t:1000 -memory:2024 -smt2 -in (1)] Waiting until timeout for monitored process [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Number of proof automata: 4 [INFO]: 93 / 103 letters are loopers in proof 0 [INFO]: 91 / 103 letters are loopers in proof 1 [INFO]: 92 / 103 letters are loopers in proof 2 [INFO]: 92 / 103 letters are loopers in proof 3 [INFO]: Loopers in proof automata: min=91, max=93, median=92 [INFO]: Start finitePrefix. Operand will be constructed on-demand [INFO]: 1/111 cut-off events. [INFO]: For 42/42 co-relation queries the response was YES. [INFO]: Finished finitePrefix Result has 168 conditions, 111 events. 1/111 cut-off events. For 42/42 co-relation queries the response was YES. Maximal size of possible extension queue 4. Compared 40 event pairs, 0 based on Foata normal form. 2/113 useless extension candidates. Maximal degree in co-relation 64. Up to 13 conditions per place. [INFO]: OwickiGriesTestSuite setup time: 677ms [INFO]: Constructing Owicki-Gries proof for Petri program that has 107 places, 103 transitions, 213 flow. [INFO]: Computed Owicki-Gries annotation with 1 ghost variables, 9 ghost updates, and overall size 7200 Assertions: l50 : 3#(and (= ~myglobal~0 0) (= v_g_1 2)) l52 : 30#(or (and (= v_g_1 4) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= 1 ~myglobal~0)) (and (= v_g_1 7) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= v_g_1 8) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= 1 ~myglobal~0)) (and (= v_g_1 13) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 15)) (and (= v_g_1 10) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= v_g_1 12) (= ~myglobal~0 0)) (and (= v_g_1 11) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= v_g_1 9) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (<= 1 ~myglobal~0) (= v_g_1 16)) (and (= v_g_1 5) (<= 1 ~myglobal~0)) (and (= v_g_1 3) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 6))) l51 : 37#(or (and (= ~myglobal~0 0) (= v_g_1 2)) (and (= v_g_1 14) (<= 1 ~myglobal~0)) (= v_g_1 1)) l54 : 40#(and (= v_g_1 14) (<= 1 ~myglobal~0)) l53 : 43#(and (= ~myglobal~0 0) (= v_g_1 2)) l56 : 46#(and (= ~myglobal~0 0) (= v_g_1 2)) l55 : 49#(and (= ~myglobal~0 0) (= v_g_1 2)) l58 : 58#(or (and (= v_g_1 13) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= v_g_1 12) (= ~myglobal~0 0)) (and (= v_g_1 11) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 6))) l57 : 67#(or (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 15)) (and (= v_g_1 10) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= v_g_1 12) (= ~myglobal~0 0)) (and (= v_g_1 9) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0))) l59 : 70#(= v_g_1 1) l61 : 81#(or (and (= v_g_1 7) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= v_g_1 8) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= 1 ~myglobal~0)) (and (= v_g_1 13) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (<= 1 ~myglobal~0) (= v_g_1 16)) (and (= v_g_1 5) (<= 1 ~myglobal~0))) l60 : 84#(and (= ~myglobal~0 0) (= v_g_1 2)) l63 : 87#(and (= ~myglobal~0 0) (= v_g_1 2)) l62 : 90#(and (= v_g_1 14) (<= 1 ~myglobal~0)) l65 : 93#(and (= ~myglobal~0 0) (= v_g_1 2)) l64 : 96#(and (= ~myglobal~0 0) (= v_g_1 2)) l67 : 101#(or (and (= v_g_1 3) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 6))) l66 : 104#(and (= v_g_1 14) (<= 1 ~myglobal~0)) l69 : 107#(= v_g_1 1) l68 : 110#(and (= ~myglobal~0 0) (= v_g_1 2)) l100 : 111#false l102 : 116#(or (and (= v_g_1 7) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 15))) l101 : 119#(and (= ~myglobal~0 0) (= v_g_1 2)) l104 : 122#(and (= ~myglobal~0 0) (= v_g_1 2)) l103 : 127#(or (and (= v_g_1 3) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 6))) l106 : 130#(and (= ~myglobal~0 0) (= v_g_1 2)) l105 : 133#(and (= ~myglobal~0 0) (= v_g_1 2)) l0 : 136#(and (= ~myglobal~0 0) (= v_g_1 2)) l70 : 139#(and (= ~myglobal~0 0) (= v_g_1 2)) l1 : 142#(and (= ~myglobal~0 0) (= v_g_1 2)) l2 : 145#(and (= ~myglobal~0 0) (= v_g_1 2)) l72 : 148#(and (= ~myglobal~0 0) (= v_g_1 2)) l3 : 151#(and (= ~myglobal~0 0) (= v_g_1 2)) l71 : 154#(and (= ~myglobal~0 0) (= v_g_1 2)) l4 : 157#(and (= ~myglobal~0 0) (= v_g_1 2)) l74 : 160#(and (= ~myglobal~0 0) (= v_g_1 2)) l5 : 163#(and (= ~myglobal~0 0) (= v_g_1 2)) l73 : 166#(and (= ~myglobal~0 0) (= v_g_1 2)) l6 : 175#(or (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 15)) (and (= v_g_1 10) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= v_g_1 12) (= ~myglobal~0 0)) (and (= v_g_1 9) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0))) l76 : 178#(and (= ~myglobal~0 0) (= v_g_1 2)) l7 : 181#(and (= ~myglobal~0 0) (= v_g_1 2)) l75 : 182#false l8 : 187#(or (and (= v_g_1 3) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 6))) l78 : 192#(or (and (= v_g_1 7) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 15))) l9 : 195#(and (= v_g_1 14) (<= 1 ~myglobal~0)) l77 : 196#false l79 : 207#(or (and (= v_g_1 4) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= 1 ~myglobal~0)) (and (= v_g_1 10) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (<= 1 ~myglobal~0) (= v_g_1 16)) (and (= v_g_1 5) (<= 1 ~myglobal~0)) (and (= v_g_1 3) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0))) l81 : 210#(and (= ~myglobal~0 0) (= v_g_1 2)) l80 : 213#(and (= ~myglobal~0 0) (= v_g_1 2)) l83 : 216#(and (= ~myglobal~0 0) (= v_g_1 2)) l82 : 219#(and (= ~myglobal~0 0) (= v_g_1 2)) l85 : 222#(and (= ~myglobal~0 0) (= v_g_1 2)) l84 : 231#(or (and (= v_g_1 13) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= v_g_1 12) (= ~myglobal~0 0)) (and (= v_g_1 11) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 6))) l87 : 234#(and (= ~myglobal~0 0) (= v_g_1 2)) l86 : 237#(and (= v_g_1 14) (<= 1 ~myglobal~0)) l89 : 240#(and (= ~myglobal~0 0) (= v_g_1 2)) l88 : 251#(or (and (= v_g_1 4) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= 1 ~myglobal~0)) (and (= v_g_1 10) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (<= 1 ~myglobal~0) (= v_g_1 16)) (and (= v_g_1 5) (<= 1 ~myglobal~0)) (and (= v_g_1 3) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0))) l90 : 254#(and (= ~myglobal~0 0) (= v_g_1 2)) l92 : 257#(and (= ~myglobal~0 0) (= v_g_1 2)) l91 : 260#(and (= ~myglobal~0 0) (= v_g_1 2)) l94 : 263#(and (= ~myglobal~0 0) (= v_g_1 2)) l93 : 266#(and (= ~myglobal~0 0) (= v_g_1 2)) l96 : 277#(or (and (= v_g_1 4) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= 1 ~myglobal~0)) (and (= v_g_1 10) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (<= 1 ~myglobal~0) (= v_g_1 16)) (and (= v_g_1 5) (<= 1 ~myglobal~0)) (and (= v_g_1 3) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0))) l95 : 280#(and (= ~myglobal~0 0) (= v_g_1 2)) l10 : 283#(and (= ~myglobal~0 0) (= v_g_1 2)) l98 : 286#(and (= ~myglobal~0 0) (= v_g_1 2)) l97 : 289#(and (= ~myglobal~0 0) (= v_g_1 2)) l12 : 298#(or (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 15)) (and (= v_g_1 10) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= v_g_1 12) (= ~myglobal~0 0)) (and (= v_g_1 9) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0))) l11 : 301#(and (= ~myglobal~0 0) (= v_g_1 2)) l99 : 304#(and (= ~myglobal~0 0) (= v_g_1 2)) l14 : 307#(and (= ~myglobal~0 0) (= v_g_1 2)) l13 : 310#(= v_g_1 1) l16 : 313#(and (= ~myglobal~0 0) (= v_g_1 2)) l15 : 316#(and (= ~myglobal~0 0) (= v_g_1 2)) l18 : 319#(and (= ~myglobal~0 0) (= v_g_1 2)) l17 : 322#(and (= ~myglobal~0 0) (= v_g_1 2)) l19 : 333#(or (and (= v_g_1 4) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= 1 ~myglobal~0)) (and (= v_g_1 10) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (<= 1 ~myglobal~0) (= v_g_1 16)) (and (= v_g_1 5) (<= 1 ~myglobal~0)) (and (= v_g_1 3) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0))) l21 : 336#(and (= ~myglobal~0 0) (= v_g_1 2)) l20 : 339#(and (= ~myglobal~0 0) (= v_g_1 2)) l23 : 342#(and (= ~myglobal~0 0) (= v_g_1 2)) l22 : 347#(or (and (= v_g_1 8) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= 1 ~myglobal~0)) (and (= v_g_1 9) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0))) l25 : 350#(and (= ~myglobal~0 0) (= v_g_1 2)) l24 : 355#(or (and (= v_g_1 3) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 6))) l27 : 360#(or (and (= v_g_1 7) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 15))) l26 : 363#(and (= ~myglobal~0 0) (= v_g_1 2)) l29 : 374#(or (and (= v_g_1 7) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= v_g_1 8) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= 1 ~myglobal~0)) (and (= v_g_1 13) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (<= 1 ~myglobal~0) (= v_g_1 16)) (and (= v_g_1 5) (<= 1 ~myglobal~0))) l28 : 377#(and (= ~myglobal~0 0) (= v_g_1 2)) l30 : 380#(and (= ~myglobal~0 0) (= v_g_1 2)) l32 : 385#(or (and (= v_g_1 7) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0)) (and (= ~myglobal~0 0) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (= v_g_1 15))) l31 : 388#(and (= ~myglobal~0 0) (= v_g_1 2)) l34 : 391#(and (= ~myglobal~0 0) (= v_g_1 2)) l33 : 394#(and (= ~myglobal~0 0) (= v_g_1 2)) l36 : 397#(and (= ~myglobal~0 0) (= v_g_1 2)) l35 : 400#(and (= ~myglobal~0 0) (= v_g_1 2)) l38 : 403#(and (= ~myglobal~0 0) (= v_g_1 2)) l37 : 406#(and (= ~myglobal~0 0) (= v_g_1 2)) l39 : 409#(and (= ~myglobal~0 0) (= v_g_1 2)) l41 : 414#(or (and (= v_g_1 4) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= 1 ~myglobal~0)) (and (= v_g_1 11) (= (select (select |#pthreadsMutex| |~#mutex1~0.base|) |~#mutex1~0.offset|) 1) (<= ~myglobal~0 1) (<= 1 ~myglobal~0))) l40 : 415#false l43 : 418#(and (= ~myglobal~0 0) (= v_g_1 2)) l42 : 421#(= v_g_1 1) l45 : 424#(and (= ~myglobal~0 0) (= v_g_1 2)) l44 : 427#(and (= ~myglobal~0 0) (= v_g_1 2)) l47 : 430#(and (= ~myglobal~0 0) (= v_g_1 2)) l46 : 431#false l49 : 434#(and (= ~myglobal~0 0) (= v_g_1 2)) l48 : 437#(and (= ~myglobal~0 0) (= v_g_1 2)) Ghost Variables (and initial values): v_g_1 : 1 Ghost Updates: [102][48] : (v_g_1) := ((ite (= v_g_1 2) 12 v_g_1)) [69][82] : (v_g_1) := ((ite (= v_g_1 1) 2 v_g_1)) [97][3] : (v_g_1) := ((ite (= v_g_1 9) 10 (ite (= v_g_1 8) 5 v_g_1))) [3][4] : (v_g_1) := ((ite (= v_g_1 11) 13 (ite (= v_g_1 4) 16 v_g_1))) [96][36] : (v_g_1) := ((ite (= v_g_1 7) 8 (ite (= v_g_1 15) 9 v_g_1))) [44][55] : (v_g_1) := ((ite (= v_g_1 10) 3 (ite (= v_g_1 12) 6 v_g_1))) [74][87] : (v_g_1) := ((ite (= v_g_1 6) 11 (ite (= v_g_1 3) 4 v_g_1))) [103][90] : (v_g_1) := ((ite (= v_g_1 5) 14 (ite (= v_g_1 16) 14 v_g_1))) [90][44] : (v_g_1) := ((ite (= v_g_1 12) 15 (ite (= v_g_1 13) 7 v_g_1))) [INFO]: EmpireComputation time [ms]: 1, EmpireComputation statistics: automaton size: 16, number of unique pairs: 15, empire law size: 232, empire annotation size: 248, number of regions: 13, number of territories: 15, Min number of regions per territory: 2, Max number of regions per territory: 3, Median number of regions per territory: 3, Min number of places per region: 1, Max number of places per region: 70, Median number of places per region: 3, Empire validity check time [ms]: 0, EmpireToOwickiGries time [ms]: 194, Owicki-Gries validity check time [ms]: 0 │ │ │ duration: 914 ms │ │ │ status: ✔ SUCCESSFUL │ └─ EmpireAutomatonOG finished after 919 ms. └─ JUnit Vintage finished after 926 ms. ├─ JUnit Platform Suite └─ JUnit Platform Suite finished after 0 ms. Test plan execution finished. Number of all tests: 1  Test run finished after 958 ms [ 4 containers found ] [ 0 containers skipped ] [ 4 containers started ] [ 0 containers aborted ] [ 4 containers successful ] [ 0 containers failed ] [ 1 tests found ] [ 0 tests skipped ] [ 1 tests started ] [ 0 tests aborted ] [ 1 tests successful ] [ 0 tests failed ]