List your company
ResearchFormerly WizWand

Policy generation and execution on Keva (P, h) (test)

1.44Execution Time (s)GPA + LRTDP
-170.168988.1862,146.543,304.894Apr 8, 2022
Updated 8mo ago

Evaluation results

MethodLinks
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 0 (29, 1)2022.041.446
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 0 (29, 1)2022.041.476
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 0 (29, 1)2022.042.456
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 0 (29, 1)2022.042.656
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 1 (29, 2)2022.044.1512
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 1 (29, 2)2022.044.6312
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 2 (29, 3)2022.048.1418
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 2 (29, 3)2022.049.5518
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 1 (29, 2)2022.0410.2312
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 1 (29, 2)2022.0411.2212
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 3 (29, 4)2022.0416.2624
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 3 (29, 4)2022.0418.824
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 4 (29, 5)2022.0432.6130
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 2 (29, 3)2022.0434.0518
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 2 (29, 3)2022.0437.3318
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 4 (29, 5)2022.0441.1930
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 5 (29, 6)2022.0468.7336
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 5 (29, 6)2022.0474.4736
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 3 (29, 4)2022.0493.3924
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 3 (29, 4)2022.0493.7824
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 6 (29, 7)2022.04115.2842
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 6 (29, 7)2022.04120.342
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 7 (29, 8)2022.04174.8848
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 4 (29, 5)2022.04183.5730
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 7 (29, 8)2022.04191.4448
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 4 (29, 5)2022.04201.9930
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 8 (29, 9)2022.04298.6154
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 8 (29, 9)2022.04331.9554
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 5 (29, 6)2022.04358.9836
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 5 (29, 6)2022.04379.8436
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 9 (29, 10)2022.04394.7160
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 9 (29, 10)2022.04406.4560
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 6 (29, 7)2022.04515.8542
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 10 (29, 11)2022.04544.2666
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 6 (29, 7)2022.04583.5242
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 10 (29, 11)2022.04639.666
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 11 (29, 12)2022.04665.2972
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 11 (29, 12)2022.04782.8272
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 12 (29, 13)2022.04815.1178
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 7 (29, 8)2022.04825.8448
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 7 (29, 8)2022.04829.1948
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 12 (29, 13)2022.04958.1778
GPA + LRTDPBase Algorithm=LRTDP, GPA-enhanced=true, Problem Instance=ID 13 (29, 14)2022.041,042.4484
GPA + Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=true, Problem Instance=ID 13 (29, 14)2022.041,128.8484
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 8 (29, 9)2022.041,174.7954
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 8 (29, 9)2022.041,236.9154
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 9 (29, 10)2022.041,578.3860
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 9 (29, 10)2022.041,647.7660
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 10 (29, 11)2022.042,158.9166
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 10 (29, 11)2022.042,223.4366
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 11 (29, 12)2022.042,713.7872
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 11 (29, 12)2022.042,787.9272
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 12 (29, 13)2022.043,427.9378
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 12 (29, 13)2022.043,606.1278
LRTDPBase Algorithm=LRTDP, GPA-enhanced=false, Problem Instance=ID 13 (29, 14)2022.044,171.2784
Soft-FLARESBase Algorithm=Soft-FLARES, GPA-enhanced=false, Problem Instance=ID 13 (29, 14)2022.044,291.6484