|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.77
|
0.45
|
|||
|
2.04
|
0.52
|
|||
|
1.76
|
0.41
|
|||
|
3.05
|
0.63
|
|||
|
1.48
|
2.56
|
|||
|
2.33
|
2.67
|
|||
|
1.41
|
3.45
|
|||
|
2.06
|
11.26
|
|||
|
5.87
|
11.63
|
|||
|
3.34
|
11.60
|
|||
|
5.98
|
7.83
|
|||
|
3.44
|
7.38
|
|||
|
2.39
|
9.31
|
|||
|
4.14
|
11.47
|
|||
|
3.53
|
11.28
|
|||
|
11.34
|
11.40
|
|||
|
11.24
|
11.86
|
|||
|
11.24
|
11.32
|
|||
|
11.48
|
11.43
|
|||
|
13.51
|
11.98
|
|||
|
11.43
|
11.95
|
|||
|
2.60
|
1.76
|
|||
|
1.98
|
0.98
|
|||
|
1.80
|
1.19
|
|||
|
2.57
|
8.52
|