|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
3.61
|
31.02
|
31.02
|
||||
|
0.52
|
30.24
|
30.78
|
||||
|
17.99
|
23.97
|
24.45
|
||||
|
31.02
|
21.29
|
22.36
|
||||
|
17.53
|
31.03
|
31.02
|
||||
|
31.03
|
28.29
|
26.96
|
||||
|
22.35
|
23.39
|
23.54
|
||||
|
31.02
|
19.53
|
19.03
|
||||
|
7.28
|
31.02
|
31.02
|
||||
|
19.70
|
21.66
|
21.34
|
||||
|
31.02
|
27.22
|
27.55
|
||||
|
23.11
|
31.02
|
31.02
|
||||
|
31.02
|
29.86
|
28.06
|
||||
|
31.02
|
28.04
|
26.80
|
||||
|
9.28
|
31.02
|
30.25
|
||||
|
4.02
|
30.32
|
30.54
|
||||
|
31.02
|
31.80
|
30.99
|
||||
|
11.23
|
22.41
|
24.52
|
||||
|
28.14
|
24.76
|
22.92
|
||||
|
12.13
|
22.27
|
23.73
|
||||
|
15.06
|
20.67
|
20.36
|
||||
|
31.03
|
21.59
|
18.80
|
||||
|
19.79
|
8.41
|
8.03
|
||||
|
31.03
|
31.69
|
31.76
|
||||
|
31.03
|
20.74
|
23.43
|