full results

problem
dolmen-strict
dolmen-strict.time
0.31
0.24
0.24
0.17
0.99
1.17
0.74
0.90
0.88
56.58
1.16
1.44
1.19
1.06
1.06
1.14
1.15
1.14
1.35
1.10
1.11
1.00
1.01
1.00
1.58