|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.32
|
0.15
|
|||
|
11.25
|
1.78
|
|||
|
16.28
|
1.72
|
|||
|
11.23
|
1.89
|
|||
|
1.30
|
0.34
|
|||
|
5.56
|
1.30
|
|||
|
11.73
|
1.34
|
|||
|
8.70
|
1.56
|
|||
|
16.18
|
6.12
|
|||
|
2.30
|
0.64
|
|||
|
3.79
|
0.86
|
|||
|
23.49
|
3.58
|
|||
|
16.36
|
4.19
|
|||
|
11.07
|
2.34
|
|||
|
11.22
|
2.07
|
|||
|
14.75
|
2.81
|
|||
|
19.30
|
4.87
|
|||
|
18.59
|
2.95
|
|||
|
12.06
|
2.53
|
|||
|
9.95
|
1.97
|
|||
|
8.88
|
0.38
|
|||
|
3.24
|
1.55
|
|||
|
17.31
|
1.41
|
|||
|
18.00
|
5.12
|
|||
|
11.23
|
3.75
|