blob: 07872894a07fa2cf240b926a8fe752b077128b7b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
# omit-size trial0 E_truth=0.3396
cold a=0.0 raw=0.0625 ref=0.0781 E=0.6734 (8.4s)
cold a=0.2 raw=0.0117 ref=0.0117 E=0.6397 (9.5s)
cold a=0.4 raw=0.0703 ref=0.0742 E=0.6363 (2.8s)
cold a=0.6 raw=0.0586 ref=0.0664 E=0.6366 (1.2s)
cold a=0.75 raw=0.0508 ref=0.0430 E=0.6678 (5.7s)
cold a=0.85 raw=0.0312 ref=0.0234 E=0.6678 (1.6s)
cold a=0.88 raw=0.0586 ref=0.0508 E=0.6401 (2.4s)
cold a=0.9 raw=0.0000 ref=0.0000 E=0.6654 (2.2s)
cold a=0.92 raw=0.0352 ref=0.0312 E=0.7672 (0.5s)
cold a=0.94 raw=0.1680 ref=0.1875 E=0.6087 (0.5s)
cold a=0.95 raw=0.0625 ref=0.0547 E=0.6642 (2.1s)
cold a=0.96 raw=0.0664 ref=0.0664 E=0.6551 (0.3s)
cold a=0.97 raw=0.8203 ref=0.8203 E=0.3396 (0.4s)
cold a=0.98 raw=0.0039 ref=0.0039 E=0.6459 (1.0s)
cold a=0.99 raw=0.0156 ref=0.0156 E=0.6409 (1.0s)
cold a=1.0 raw=0.0195 ref=0.0234 E=0.6229 (0.7s)
== cold: blind-by-E refined=0.8203 (alpha=0.97), oracle-best=0.8203
warm a=0.0 raw=0.0625 ref=0.0781 E=0.6734 (0.6s)
warm a=0.2 raw=0.8242 ref=0.8320 E=0.3396 (1.2s)
warm a=0.4 raw=0.8281 ref=0.8320 E=0.3396 (0.4s)
warm a=0.6 raw=0.8320 ref=0.8320 E=0.3396 (0.3s)
warm a=0.75 raw=0.8320 ref=0.8320 E=0.3396 (0.2s)
warm a=0.85 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.1s)
warm a=0.88 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.2s)
warm a=0.9 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.2s)
warm a=0.92 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.1s)
warm a=0.94 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.1s)
warm a=0.95 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.3s)
warm a=0.96 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.2s)
warm a=0.97 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.1s)
warm a=0.98 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.3s)
warm a=0.99 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.1s)
warm a=1.0 raw=0.8320 ref=0.8320 E=0.3396 FROZEN (0.0s)
== warm: blind-by-E refined=0.8320 (alpha=0.2), oracle-best=0.8320
# synth-full trial0 E_truth=0.1430
cold a=0.0 raw=0.2578 ref=0.8633 E=0.2199 (2.1s)
cold a=0.2 raw=0.9531 ref=0.9609 E=0.1425 (2.6s)
cold a=0.4 raw=0.9531 ref=0.9688 E=0.1425 (1.7s)
cold a=0.6 raw=0.9570 ref=0.9766 E=0.1425 (2.2s)
cold a=0.75 raw=0.9375 ref=0.9609 E=0.1425 (3.0s)
cold a=0.85 raw=0.9531 ref=0.9609 E=0.1425 (4.3s)
cold a=0.88 raw=0.9453 ref=0.9609 E=0.1425 (3.8s)
cold a=0.9 raw=0.9766 ref=0.9844 E=0.1425 (3.5s)
cold a=0.92 raw=0.9453 ref=0.9531 E=0.1425 (0.9s)
cold a=0.94 raw=0.9531 ref=0.9766 E=0.1425 (2.0s)
cold a=0.95 raw=0.9453 ref=0.9531 E=0.1425 (1.1s)
cold a=0.96 raw=0.9453 ref=0.9531 E=0.1425 (0.8s)
cold a=0.97 raw=0.9375 ref=0.9531 E=0.1425 (6.2s)
cold a=0.98 raw=0.3789 ref=0.3789 E=0.5018 (7.1s)
cold a=0.99 raw=0.4219 ref=0.4141 E=0.4734 (10.8s)
cold a=1.0 raw=0.3633 ref=0.3906 E=0.5082 (12.6s)
== cold: blind-by-E refined=0.9609 (alpha=0.2), oracle-best=0.9844
warm a=0.0 raw=0.2578 ref=0.8633 E=0.2199 (4.5s)
warm a=0.2 raw=0.9375 ref=0.9453 E=0.1425 (1.9s)
warm a=0.4 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (2.5s)
warm a=0.6 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.3s)
warm a=0.75 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (1.4s)
warm a=0.85 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.9s)
warm a=0.88 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.6s)
warm a=0.9 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.8s)
warm a=0.92 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (1.2s)
warm a=0.94 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.8s)
warm a=0.95 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.4s)
warm a=0.96 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.6s)
warm a=0.97 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.7s)
warm a=0.98 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.4s)
warm a=0.99 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.1s)
warm a=1.0 raw=0.9375 ref=0.9453 E=0.1425 FROZEN (0.2s)
== warm: blind-by-E refined=0.9453 (alpha=0.2), oracle-best=0.9453
{"done": true}
|
