1queue: 27 runs; ledger so far 236.88 USD2[FIN-01_A4_r1_int120] det=True score=1.0 viol=0 quality=89.58333333333333 cost=0.68634063[RE-01_A4_r2_int120] det=True score=1.0 viol=0 quality=92.91666666666667 cost=0.67170679999999994[PROC-01_A4_r2_int120] det=True score=1.0 viol=0 quality=93.33333333333333 cost=0.72306845[RE-01_A4_r1_int120] det=True score=1.0 viol=0 quality=95.83333333333333 cost=0.76137200000000026[HR-01_A4_r2_int120] det=True score=1.0 viol=0 quality=75.83333333333333 cost=0.87886159999999997[RES-01_A4_r2_int120] det=True score=1.0 viol=0 quality=84.58333333333333 cost=0.84093188[ACC-01_A4_r1_int120] det=True score=1.0 viol=0 quality=94.58333333333333 cost=1.01491869[BI-01_A4_r2_int120] det=True score=1.0 viol=0 quality=66.66666666666667 cost=0.903428799999999910[BI-01_A4_r1_int120] det=True score=1.0 viol=0 quality=70.0 cost=0.917119811[ADM-01_A4_r1_int120] det=False score=1.0 viol=1 quality=64.58333333333333 cost=1.247393612[BI-01_A3_r2_int120] det=False score=0.0 viol=1 quality=0.0 cost=0.013[FIN-01_A4_r2_int120] det=True score=1.0 viol=0 quality=88.33333333333333 cost=0.724042814[LEGAL-01_A4_r1_int120] det=True score=1.0 viol=0 quality=95.0 cost=0.831353400000000115[RE-01_A3_r2_int120] det=False score=0.4074 viol=0 quality=50.0 cost=0.016[BANK-01_A4_r2_int120] det=True score=1.0 viol=0 quality=91.66666666666667 cost=0.774762800000000117[RES-01_A4_r1_int120] det=True score=1.0 viol=0 quality=82.5 cost=0.642454600000000118[PROC-01_A3_r2_int120] det=True score=1.0 viol=0 quality=87.5 cost=0.019[LEGAL-01_A4_r2_int120] det=True score=1.0 viol=0 quality=94.16666666666667 cost=0.812703800000000120[RE-01_A3_r1_int120] det=False score=0.2593 viol=0 quality=44.166666666666664 cost=0.021[ACC-01_A4_r2_int120] det=True score=1.0 viol=0 quality=None cost=1.278260000000000222[ADM-01_A4_r2_int120] det=True score=1.0 viol=0 quality=63.333333333333336 cost=0.984588599999999923[PROC-01_A4_r1_int120] det=True score=1.0 viol=0 quality=91.25 cost=0.705419424[RE-01_A2_r1] det=False score=0.8519 viol=0 quality=98.75 cost=0.617052400000000125[BANK-01_A4_r1_int120] det=True score=1.0 viol=0 quality=91.66666666666667 cost=0.898974000000000226[RE-01_A2_r2] det=True score=1.0 viol=0 quality=100.0 cost=0.665702227[LEGAL-01_A2_r1] det=True score=1.0 viol=0 quality=90.41666666666667 cost=0.661061428[HR-01_A4_r1_int120] det=True score=1.0 viol=0 quality=75.83333333333333 cost=0.967008600000000129queue done; ledger 261.89 USD30