|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.10
|
1.93
|
3.34
|
||||
|
0.80
|
26.33
|
30.20
|
||||
|
1.75
|
31.00
|
30.98
|
||||
|
7.79
|
30.65
|
30.09
|
||||
|
31.01
|
30.93
|
30.54
|
||||
|
0.35
|
31.02
|
30.20
|
||||
|
3.46
|
30.51
|
30.52
|
||||
|
8.32
|
30.89
|
30.14
|
||||
|
0.35
|
30.81
|
30.11
|
||||
|
0.50
|
30.86
|
30.14
|
||||
|
31.01
|
30.95
|
30.24
|
||||
|
31.01
|
30.43
|
30.38
|
||||
|
0.10
|
2.09
|
4.31
|
||||
|
0.18
|
0.71
|
0.76
|
||||
|
0.68
|
30.07
|
13.72
|
||||
|
2.87
|
31.02
|
30.75
|
||||
|
0.05
|
5.68
|
8.76
|
||||
|
0.07
|
30.35
|
30.13
|
||||
|
0.12
|
31.02
|
30.07
|
||||
|
0.18
|
30.55
|
30.02
|
||||
|
0.02
|
0.19
|
0.22
|
||||
|
0.14
|
2.74
|
30.35
|
||||
|
0.57
|
31.01
|
30.51
|
||||
|
0.14
|
31.01
|
30.27
|
||||
|
2.68
|
31.01
|
30.25
|