queue: 27 runs; ledger so far 236.88 USD [FIN-01_A4_r1_int120] det=True score=1.0 viol=0 quality=89.58333333333333 cost=0.6863406 [RE-01_A4_r2_int120] det=True score=1.0 viol=0 quality=92.91666666666667 cost=0.6717067999999999 [PROC-01_A4_r2_int120] det=True score=1.0 viol=0 quality=93.33333333333333 cost=0.7230684 [RE-01_A4_r1_int120] det=True score=1.0 viol=0 quality=95.83333333333333 cost=0.7613720000000002 [HR-01_A4_r2_int120] det=True score=1.0 viol=0 quality=75.83333333333333 cost=0.8788615999999999 [RES-01_A4_r2_int120] det=True score=1.0 viol=0 quality=84.58333333333333 cost=0.8409318 [ACC-01_A4_r1_int120] det=True score=1.0 viol=0 quality=94.58333333333333 cost=1.0149186 [BI-01_A4_r2_int120] det=True score=1.0 viol=0 quality=66.66666666666667 cost=0.9034287999999999 [BI-01_A4_r1_int120] det=True score=1.0 viol=0 quality=70.0 cost=0.9171198 [ADM-01_A4_r1_int120] det=False score=1.0 viol=1 quality=64.58333333333333 cost=1.2473936 [BI-01_A3_r2_int120] det=False score=0.0 viol=1 quality=0.0 cost=0.0 [FIN-01_A4_r2_int120] det=True score=1.0 viol=0 quality=88.33333333333333 cost=0.7240428 [LEGAL-01_A4_r1_int120] det=True score=1.0 viol=0 quality=95.0 cost=0.8313534000000001 [RE-01_A3_r2_int120] det=False score=0.4074 viol=0 quality=50.0 cost=0.0 [BANK-01_A4_r2_int120] det=True score=1.0 viol=0 quality=91.66666666666667 cost=0.7747628000000001 [RES-01_A4_r1_int120] det=True score=1.0 viol=0 quality=82.5 cost=0.6424546000000001 [PROC-01_A3_r2_int120] det=True score=1.0 viol=0 quality=87.5 cost=0.0 [LEGAL-01_A4_r2_int120] det=True score=1.0 viol=0 quality=94.16666666666667 cost=0.8127038000000001 [RE-01_A3_r1_int120] det=False score=0.2593 viol=0 quality=44.166666666666664 cost=0.0 [ACC-01_A4_r2_int120] det=True score=1.0 viol=0 quality=None cost=1.2782600000000002 [ADM-01_A4_r2_int120] det=True score=1.0 viol=0 quality=63.333333333333336 cost=0.9845885999999999 [PROC-01_A4_r1_int120] det=True score=1.0 viol=0 quality=91.25 cost=0.7054194 [RE-01_A2_r1] det=False score=0.8519 viol=0 quality=98.75 cost=0.6170524000000001 [BANK-01_A4_r1_int120] det=True score=1.0 viol=0 quality=91.66666666666667 cost=0.8989740000000002 [RE-01_A2_r2] det=True score=1.0 viol=0 quality=100.0 cost=0.6657022 [LEGAL-01_A2_r1] det=True score=1.0 viol=0 quality=90.41666666666667 cost=0.6610614 [HR-01_A4_r1_int120] det=True score=1.0 viol=0 quality=75.83333333333333 cost=0.9670086000000001 queue done; ledger 261.89 USD