|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.28
|
4.83
|
|||
|
11.31
|
10.69
|
|||
|
11.30
|
6.26
|
|||
|
11.16
|
3.63
|
|||
|
11.12
|
7.30
|
|||
|
9.68
|
1.95
|
|||
|
11.06
|
6.61
|
|||
|
11.36
|
11.16
|
|||
|
11.34
|
2.57
|
|||
|
11.07
|
3.82
|
|||
|
9.50
|
1.57
|
|||
|
11.16
|
1.64
|
|||
|
11.28
|
4.45
|
|||
|
11.28
|
1.60
|
|||
|
6.40
|
0.57
|
|||
|
11.15
|
4.92
|
|||
|
11.17
|
3.80
|
|||
|
11.15
|
8.02
|
|||
|
0.11
|
0.38
|
|||
|
1.06
|
0.42
|
|||
|
0.08
|
0.20
|
|||
|
1.49
|
1.40
|
|||
|
1.58
|
0.73
|
|||
|
6.13
|
0.76
|
|||
|
0.40
|
2.78
|