|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
6.75
|
15.69
|
|||
|
0.57
|
16.26
|
|||
|
9.22
|
15.96
|
|||
|
0.74
|
15.20
|
|||
|
9.48
|
14.83
|
|||
|
0.42
|
15.29
|
|||
|
11.55
|
15.91
|
|||
|
0.32
|
14.96
|
|||
|
11.66
|
16.16
|
|||
|
0.27
|
10.35
|
|||
|
11.52
|
14.72
|
|||
|
0.47
|
15.70
|
|||
|
11.52
|
15.83
|
|||
|
0.39
|
15.72
|
|||
|
11.53
|
15.46
|
|||
|
0.44
|
16.47
|
|||
|
11.52
|
15.31
|
|||
|
0.71
|
15.76
|
|||
|
12.11
|
15.14
|
|||
|
2.09
|
15.66
|
|||
|
11.78
|
14.62
|
|||
|
0.72
|
14.97
|
|||
|
11.43
|
5.39
|
|||
|
1.36
|
16.34
|
|||
|
11.62
|
6.70
|