|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.40
|
8.36
|
|||
|
2.87
|
11.92
|
|||
|
11.93
|
11.43
|
|||
|
0.10
|
11.65
|
|||
|
0.11
|
10.65
|
|||
|
0.07
|
10.31
|
|||
|
0.14
|
11.40
|
|||
|
0.08
|
10.61
|
|||
|
0.11
|
11.34
|
|||
|
0.12
|
9.17
|
|||
|
0.13
|
10.48
|
|||
|
0.10
|
9.10
|
|||
|
0.12
|
9.45
|
|||
|
0.09
|
10.85
|
|||
|
0.11
|
9.67
|
|||
|
0.11
|
9.77
|
|||
|
0.09
|
9.46
|
|||
|
0.14
|
11.24
|
|||
|
0.08
|
11.95
|
|||
|
7.09
|
11.62
|
|||
|
2.20
|
10.83
|
|||
|
0.05
|
6.35
|
|||
|
0.05
|
3.14
|
|||
|
0.03
|
0.03
|
|||
|
0.02
|
0.09
|